libPSC.ContrainteBinaire.estValide

ContrainteBinaire.estValide(var, val)

Teste si la contrainte est valide et respectee par les valeurs des variables qui la composent.

Note:La contrainte binaire est respectee si l’operateur applique aux deux operandes refVar1 et refVar2 retourne True.