libPlan.Operateur

class libPlan.Operateur(str, pre, post)

Un operateur de planification

Variables:

• nom – Le nom de l’operateur
• preconditions – Liste des preconditions de l’operateur
• postconditions – Liste des postconditions de l’operateur (qui doivent etre vraies apres son execution)

__init__(str, pre, post)

Constructeur

Paramètres:

• self – reference automatique sur l’objet qui execute cette methode
• str – Chaine de caracteres representant l’operateur
• pre – Liste de preconditions de type Proposition
• post – Liste de postconditions de type Proposition

Methods

__init__(str, pre, post)	Constructeur
aPourPostcondition(prop)	Retourne si la proposition passee en parametre est une postcondition
aPourPrecondition(prop)	Retourne si la proposition passee en parametre est une precondition
retournePostconditions()	Retourne la liste des postconditions
retournePreconditions()	Retourne la liste des preconditions