Package solvers

Class ArcConsistency

java.lang.Object

solvers.ArcConsistency

public class ArcConsistency
extends java.lang.Object

Cette classe décrit une arc-consistence locale sur des contraintes.

Constructor Summary

Constructors

Constructor	Description
ArcConsistency(java.util.Set<Constraint> constraints)	Constructeur par défaut.

Method Summary

Modifier and Type	Method	Description
boolean	addConstraint(Constraint... constraints)	Ajoute des contraintes à l'ensemble de contraintes constraints.
static boolean	enforce(Constraint constraint, java.util.Map<Variable,java.util.Set<java.lang.Object>> domains)	Rend tous les domaines arc-cohérents.
boolean	enforceArcConsistency(java.util.Map<Variable,java.util.Set<java.lang.Object>> domains)	Rend tous les domaines arc-cohérents avec les contraintes stockées dans l'attribut constraints.
static boolean	filter(Variable var1, java.util.Set<java.lang.Object> var1Domain, Variable var2, java.util.Set<java.lang.Object> var2Domain, Constraint constraint)	Supprime les valeurs qui ne sont pas arc-cohérente avec la contrainte constraint.
java.util.Set<Constraint>	getConstraints()	Récupère l'ensemble des contraintes de l'instance.
boolean	removeConstraint(Constraint... constraints)	Enlève des contraintes à l'ensemble de contraintes constraints.

Methods inherited from class java.lang.Object

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

Constructor Detail

ArcConsistency

public ArcConsistency(java.util.Set<Constraint> constraints)

Constructeur par défaut.

Parameters:

constraints - ensemble de contraintes

Method Detail

filter

public static boolean filter(Variable var1,
                             java.util.Set<java.lang.Object> var1Domain,
                             Variable var2,
                             java.util.Set<java.lang.Object> var2Domain,
                             Constraint constraint)

Supprime les valeurs qui ne sont pas arc-cohérente avec la contrainte constraint.

Parameters:

var1 - première variable

var1Domain - domain de la première variable

var2 - seconde variable

var2Domain - domain de la seconde variable

constraint - contrainte qui porte sur les deux variables var1 et var2

Returns:

booléen qui détermine si le domaine a changé

enforce

public static boolean enforce(Constraint constraint,
                              java.util.Map<Variable,java.util.Set<java.lang.Object>> domains)

Rend tous les domaines arc-cohérents.

Parameters:

constraint - contrainte

domains - domaines des variables concernées par la contrainte

Returns:

booléen qui détermine si au moins un des domaines a été modifié

enforceArcConsistency

public boolean enforceArcConsistency(java.util.Map<Variable,java.util.Set<java.lang.Object>> domains)

Rend tous les domaines arc-cohérents avec les contraintes stockées dans l'attribut constraints.

Parameters:

domains - domaines des variables concernées par la contrainte

Returns:

booléen qui détermine si au moins un des domaines a été modifié

getConstraints

public java.util.Set<Constraint> getConstraints()

Récupère l'ensemble des contraintes de l'instance.

Returns:

ensemble des contraintes de l'instance

See Also:

constraints

addConstraint

public boolean addConstraint(Constraint... constraints)

Ajoute des contraintes à l'ensemble de contraintes constraints.

Parameters:

constraints - contraintes à ajouter

removeConstraint

public boolean removeConstraint(Constraint... constraints)

Enlève des contraintes à l'ensemble de contraintes constraints.

Parameters:

constraints - contraintes à enlever