libPlan.Operateur.aPourPostcondition

Operateur.aPourPostcondition(prop)

Retourne si la proposition passee en parametre est une postcondition

Paramètres:

• self – reference automatique sur l’objet qui execute cette methode
• prop – Proposition dont on veut savoir si elle est une postcondition