planificateur.PlanificateurPSC

class planificateur.PlanificateurPSC(prob, nb_etats)

La classe representant le planning par modelisation PSC

Variables:

• probleme – Le probleme de planification a resoudre
• nb_etats – Le nombre d’etats dans le plan, c’est a dire la longeur du plan

__init__(prob, nb_etats)

constructeur

Paramètres:

• self – reference automatique sur l’objet qui execute cette methode
• prob – Le probleme de planification
• nb_etats – nombre d’etats

Methods

__init__(prob, nb_etats)	constructeur
affichePSC()	Affiche les variables et les contraintes
contruitEtats()	construit tous les etats de la planification
implementeAxiomesDeCadre()	ajoute les contraintes d’axiomes de cadre
implementeConditionsInitialesEtFinales()	Implemente les contraintes correspondant aux conditions initiales et finales.
implementeMutexDOperateurs()	Implemente les contraintes de mutex d’operateurs
implementeMutexDePropositions()	Implemente les contraintes de mutex de propositions
implementePSC()	Implemente le PSC a partir du probleme de planification
implementePreEtPostconditions()	Implemente les contraintes de pre- et postconditions
trouveLaSolution()	Trouve la solution en utilsant le Forward Checking