libPSC.ContrainteBinaire.estPossible

ContrainteBinaire.estPossible(var)

Teste si la contrainte est satisfaite pour au moins une valeur dans le domaine de la variable passee en parametre

Paramètres:

• self – reference automatique vers l’instance executant cette methode.
• var – la variable dont on veut tester si une valeur de domaine convient

Retourne:

True si la contrainte est possible pour au moins une des valeurs de D2, False sinon