planificateur.ContrainteAxiomeCadre

class planificateur.ContrainteAxiomeCadre(varPre, varsOp, varPost)

Une contrainte d’axiome de cadre pour un etat et une proposition donnes

Variables:

• varPre – Variable correspondant a la proposition au debut de l’etat
• varPost – Variable correspondant a la proposition a la fin de l’etat
• varsOp – Liste de variables d’operateurs ayant la proposition representee par  varPost comme postcondition

__init__(varPre, varsOp, varPost)

Constructeur de la classe

La contrainte est la suivante : SI (varPre == False ET varPost == True) ALORS au moins une des variables dans varsOp est True

Paramètres:

• self – reference automatique vers l’instance executant cette methode.
• varPre – variable correspondant a la proposition au debut de l’etat
• varsOp – liste de variables d’operateurs ayant la proposition representee par varPost comme postcondition
• varPost – variable correspondant a la proposition a la fin de l’etat

Methods

__init__(varPre, varsOp, varPost)	Constructeur de la classe
dimension()	Retourne la dimension de la contrainte
estValide(var, val)	Teste si la contrainte est valide et respectee par les valeurs des variables qui la composent.
propage(var)	Propage l’assignation d’une variable de la contrainte aux autres variables non instanciees
reviser()	L’algorithme REVISER n’est pas defini pour des contraintes n-aires