libPSC.ContrainteBinaire

class libPSC.ContrainteBinaire(refVar1, op, refVar2)

Classe modelisant une contrainte binaire

Une contrainte binaire est representee dans un graphe par un arc allant d’un noeud source(noeud de depart) a un noeud de destination(noeud d’arrivee). Cette contrainte est souvent de la forme v1<v2, v1==v2, v1>v2, etc...

Note:

Cette classe est une sous-classe de Contrainte, elle implemente donc toutes les fonctions de base de celle-ci.
Variables:
  • op – l’operateur de comparaison entre les deux variables
  • refVar1 – une reference vers la premiere variable de la contrainte
  • refVar2 – une reference vers la deuxieme variable de la contrainte
__init__(refVar1, op, refVar2)

Constructeur de la classe

Initialise les variables de depart et d’arrivee, ainsi que l’operateur utilise pour la comparaison.

Paramètres:
  • self – reference automatique vers l’instance executant cette methode.
  • op – un operateur parmi \equiv ou \neq
  • refVar1 – reference vers la variable 1
  • refVar2 – reference vers la variable 2

Methods

__init__(refVar1, op, refVar2) Constructeur de la classe
dimension() Retourne la dimension de la contrainte (binaire=2).
estPossible(var) Teste si la contrainte est satisfaite pour au moins une valeur dans
estValide(var, val) Teste si la contrainte est valide et respectee par les valeurs des variables qui la composent.
propage(var) Propage l’assignation d’une variable de la contrainte a l’autre variable non instanciee
reviser() Applique l’algorithme REVISER