libPSC.ContrainteBinaire.reviser

ContrainteBinaire.reviser()

Applique l’algorithme REVISER

Pour chaque variable, pour chaque valeur v dans le domaine de cette variable, verifie s’il existe une valeur possible pour la deuxieme variable qui satisfasse la contrainte ; sinon, supprime v du domaine.

Paramètres:self – reference automatique vers l’instance executant cette methode. Note:Regarder le chapitre 8.5.2 du cours pour de plus amples informations sur le fonctionnement de l’algorithme de Waltz et REVISER