planificateur¶
Chargement de l’algorithme de planification par PSC
Fonctions
afficheEtats() |
Affiche les etats |
afficheNombreVarsEtContraintes() |
Affiche le nombre de Variables et de Contraintes |
afficheUneSolutionPossible() |
Affiche la solution trouvee |
Classes
ContrainteAxiomeCadre(varPre, varsOp, varPost) |
Une contrainte d’axiome de cadre pour un etat et une proposition donnes |
Etat(no_etat, props, ops) |
Cette classe represente un etat de planification |
PlanificateurPSC(prob, nb_etats) |
La classe representant le planning par modelisation PSC |