libPSC.Contrainte

class libPSC.Contrainte(vars)

Classe modelisant une contrainte sur une ou plusieurs variables

Variables:vars – Liste des noms des variables de cette contrainte

__init__(vars)

Constructeur de la classe

Initialise la liste des variables

Paramètres:

• self – reference automatique vers l’instance executant cette methode.
• vars – la liste des variables

Methods

__init__(vars)	Constructeur de la classe
dimension()	Retourne la dimension de la contrainte
estValide(var, val)	Teste si la contrainte est valide et respectee par les valeurs de la/ des variable(s) qui la compose/ent.