PSC.Contraintes.consistanceDesArcs

Contraintes.consistanceDesArcs()

Applique la consistance des arcs

Cette methode est une application directe de l’algorithme REVISER vu en cours. Sa base theorique prend en compte le fait que pour une valeur v du domaine de xi, il se peut qu’il n’y ait pas de valeur dans le domaine qui soit consistante avec les contraintes en xi et xj. Dans ce cas, l’algorithme REVISER supprime v de xi. Cependant, l’appliquer une fois ne suffit pas. En effet, il se peut, comme cet algorithme modifie le domaine de xi, que cette modification entraine l’inconsistance avec d’autres contraintes etant valides dans le passe.

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