libPSC.ContrainteUnaire

class libPSC.ContrainteUnaire(refVar, op, ref)

Classe modelisant une contrainte unaire

Une contrainte unaire correspond a une restriction sur les valeurs possibles d’une variable, de la forme x > 0, y = 5, etc..

Note:

Cette classe est une sous-classe de Contrainte, elle implemente donc toutes les fonctions de base de celle-ci.

Variables:

• ref – la valeur de reference avec laquelle la valeur de la variable est comparee
• op – l’operation a effectuer entre les deux valeurs
• refVar – une reference a la variable de la contrainte unaire

__init__(refVar, op, ref)

Constructeur de la classe

Initialise la contrainte unaire avec une valeur de reference, une reference vers la variable de la contrainte ainsi qu’un operateur de comparaison entre les deux

Paramètres:

• self – reference automatique vers l’instance executant cette methode.
• ref – valeur de reference pour la comparaison
• op – un operateur possible entre
• refVar – reference sur la variable a utiliser

Methods

__init__(refVar, op, ref)	Constructeur de la classe
dimension()	Retourne la dimension de la contrainte(unaire=1).
estValide(var, val)	Teste si la contrainte est valide et respectee par la valeur de la variable