libPSC.ContrainteBinaire.propage

ContrainteBinaire.propage(var)

Propage l’assignation d’une variable de la contrainte a l’autre variable non instanciee

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

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