libPlan.Operateur.retournePostconditions

Operateur.retournePostconditions()

Retourne la liste des postconditions

Paramètres:self – reference automatique sur l’objet qui execute cette methode