Package representation
Class Rule
- java.lang.Object
-
- representation.Rule
-
- All Implemented Interfaces:
Constraint
public class Rule extends java.lang.Object implements Constraint
Cette classe décrit une règle du type "var1 implique var2".
-
-
Constructor Summary
Constructors Constructor Description Rule(BooleanVariable var1, boolean isPositive1, BooleanVariable var2, boolean isPositive2)
Constructeur par défaut.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Variable
getFirstVariable()
Retourne la première variable de la contrainte.java.util.Set<Variable>
getScope()
Récupère l'ensemble des variables sur laquelle porte la contrainte.Variable
getSecondVariable()
Retourne la seconde variable de la contrainte.boolean
isSatisfiedBy(java.util.Map<Variable,java.lang.Object> map)
Vérifie si la contrainte est satisfaite par l'instanciation donnée.java.lang.String
toString()
-
-
-
Constructor Detail
-
Rule
public Rule(BooleanVariable var1, boolean isPositive1, BooleanVariable var2, boolean isPositive2)
Constructeur par défaut.- Parameters:
var1
- première variable de la contrainteisPositive1
- booléen pour la valeur de la première variable de la contraintevar2
- seconde variable de la contrainteisPositive2
- booléen pour la valeur de la seconde variable de la contrainte
-
-
Method Detail
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
getScope
public java.util.Set<Variable> getScope()
Description copied from interface:Constraint
Récupère l'ensemble des variables sur laquelle porte la contrainte.- Specified by:
getScope
in interfaceConstraint
- Returns:
- un ensemble de variables
-
isSatisfiedBy
public boolean isSatisfiedBy(java.util.Map<Variable,java.lang.Object> map) throws java.lang.IllegalArgumentException
Description copied from interface:Constraint
Vérifie si la contrainte est satisfaite par l'instanciation donnée.- Specified by:
isSatisfiedBy
in interfaceConstraint
- Parameters:
map
- l'instanciation à vérifier- Returns:
- un booléen vérifiant la contrainte est satisfaite par l'instanciation ou non
- Throws:
java.lang.IllegalArgumentException
- exception levée lorsque qu'une variable ne se trouve pas dans l'instanciation donnée
-
getFirstVariable
public Variable getFirstVariable()
Retourne la première variable de la contrainte.- Returns:
- première variable de la contrainte
- See Also:
var1
-
-