planificateur.ContrainteAxiomeCadre.propage

ContrainteAxiomeCadre.propage(var)

Propage l’assignation d’une variable de la contrainte aux autres variables non instanciees

Etant donne qu’on a fixe une valeur pour une variable de cette contrainte, on essaie de reduire le label des autres en supprimant les valeurs inconsistantes.

Propagation paresseuse : appliquee seulement s’il ne reste qu’une variable non instanciee

Paramètres:

• self – reference automatique vers l’instance executant cette methode.
• var – la variable qui vient d’etre instanciee

Retourne:

True si apres propagation, la contrainte est toujours consistante