Package representation

Class BinaryConstraint

java.lang.Object

representation.BinaryConstraint

All Implemented Interfaces:

Constraint

public class BinaryConstraint
extends java.lang.Object
implements Constraint

Cette classe décrit le fait de représenter des contraintes binaires.

Constructor Summary

Constructors

Constructor	Description
BinaryConstraint(Variable v1, Variable v2)	Constructeur par défaut.

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

BinaryConstraint

public BinaryConstraint(Variable v1,
                        Variable v2)

Constructeur par défaut.

Parameters:

v1 - première variable de la contrainte

v2 - seconde variable de la contrainte

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.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 interface Constraint

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 interface Constraint

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