libPSC.Variable

class libPSC.Variable(nom, domaine)

Classe modelisant une variable

Une variable dans le probleme des contraintes est un objet qui peut prendre n’importe quelle valeur de son domaine.

Variables:

• nom – le nom de la variable
• domaine – le domaine de valeurs de la variable
• valeur – la valeur actuelle de la variable
• label – le label de valeurs associe a la variable utilise pour le forward checking

__init__(nom, domaine)

Constructeur de la classe

Initialise la variable avec un nom et un domaine donnes. Sa valeur initiale est fixee a None.

Paramètres:

• self – reference automatique vers l’instance executant cette methode.
• nom – le nom de la variable
• domaine – une liste de valeurs possibles pour la variable

Note:

comme pour le precedent exercice (Lab5), un nom est un identifiant, il doit donc etre unique

Methods

__init__(nom, domaine)	Constructeur de la classe
Variable.enleveDuLabel
Variable.initLabel
metAJourValeur(valeur)	Met a jour la valeur de cette variable
nomEstEgal(nom)	Verifie que le nom de la variable correspond a celui passe en parametre
tailleDuDomaine()	Retourne la taille du domaine
Variable.tailleDuLabel