planificateur.PlanificateurPSC.implementePreEtPostconditions

PlanificateurPSC.implementePreEtPostconditions()

Implemente les contraintes de pre- et postconditions

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