Package representation

Class DifferenceConstraint

java.lang.Object

representation.DifferenceConstraint

All Implemented Interfaces:

Constraint

public class DifferenceConstraint
extends java.lang.Object
implements Constraint

Cette classe décrit une contrainte de type "différente".

Constructor Summary

Constructors

Constructor	Description
DifferenceConstraint(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

DifferenceConstraint

public DifferenceConstraint(Variable v1,
                            Variable v2)

Constructeur par défaut.

Parameters:

v1 - première variable

v2 - deuxième variable

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