PSC.propageAuxVarsSuivantes

PSC.propageAuxVarsSuivantes(k)

Propage l’assignation actuelle de la variable k aux variables suivantes dans PSC.VARIABLES

Pour chaque contrainte portant sur la variable courante et sur au moins une autre variable non encore instanciee, appelle la methode propage() de cette contrainte pour tenter de reduire le label de la deuxieme variable.

Paramètres:k – position actuelle dans PSC.VARIABLES Retourne:True si toutes les contraintes restent satisfaites, False sinon