Package representation
Class BinaryExtensionConstraint
- java.lang.Object
-
- representation.BinaryExtensionConstraint
-
- All Implemented Interfaces:
Constraint
public class BinaryExtensionConstraint extends java.lang.Object implements Constraint
Cette classe décrit le fait de représenter des contraintes binaires en extension.
-
-
Constructor Summary
Constructors Constructor Description BinaryExtensionConstraint(Variable v1, Variable v2)
Constructeur par défaut.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addTuple(java.lang.Object val1, java.lang.Object val2)
Ajoute un couple de valeurs autorisé à l'ensemble en extension.java.util.Set<BinaryTuple>
getExtension()
Retourne l'ensemble de couple de valeurs associé à la contrainte.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()
-
-
-
Method Detail
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
addTuple
public void addTuple(java.lang.Object val1, java.lang.Object val2)
Ajoute un couple de valeurs autorisé à l'ensemble en extension.- Parameters:
val1
- première valeur du couple à ajouterval2
- seconde valeur du couple à ajouter
-
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:
v1
-
getSecondVariable
public Variable getSecondVariable()
Retourne la seconde variable de la contrainte.- Returns:
- seconde variable de la contrainte
- See Also:
v2
-
getExtension
public java.util.Set<BinaryTuple> getExtension()
Retourne l'ensemble de couple de valeurs associé à la contrainte.- Returns:
- ensemble de couple de valeurs associé à la contrainte
- See Also:
extension
-
-