Constraint

All Known Implementing Classes:

BinaryConstraint, BinaryExtensionConstraint, DifferenceConstraint, Rule
```
public interface Constraint
```
Cette interface définit des méthodes par n'importe quelle contrainte existante.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`java.util.Set<Variable>`	`getScope()`	Récupère l'ensemble des variables sur laquelle porte la contrainte.
`boolean`	`isSatisfiedBy(java.util.Map<Variable,java.lang.Object> map)`	Vérifie si la contrainte est satisfaite par l'instanciation donnée.

- Method Detail
  - getScope
```
java.util.Set<Variable> getScope()
```
    Récupère l'ensemble des variables sur laquelle porte la contrainte.
    
    Returns:
    
    un ensemble de variables
  - isSatisfiedBy
```
boolean isSatisfiedBy(java.util.Map<Variable,java.lang.Object> map)
               throws java.lang.IllegalArgumentException
```
    Vérifie si la contrainte est satisfaite par l'instanciation donnée.
    
    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