Package solvers
Class MACSolver
- java.lang.Object
-
- solvers.AbstractSolver
-
- solvers.MACSolver
-
- All Implemented Interfaces:
Solver
public class MACSolver extends AbstractSolver
Cette classe est un solveur de contraintes qui vérifie l'arc-cohérence des domaines de variables pour optimiser la recherche de solution.
-
-
Field Summary
-
Fields inherited from class solvers.AbstractSolver
constraints, variables
-
-
Constructor Summary
Constructors Constructor Description MACSolver(java.util.Set<Variable> variables, java.util.Set<Constraint> constraints)
Constructeur par défaut.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.Map<Variable,java.lang.Object>
solve()
Résout un problème à partir de contraintes et renvoie une solution.-
Methods inherited from class solvers.AbstractSolver
addConstraint, addVariables, getConstraints, getVariables, isConsistent, removeConstraint, removeVariables
-
-
-
-
Constructor Detail
-
MACSolver
public MACSolver(java.util.Set<Variable> variables, java.util.Set<Constraint> constraints)
Constructeur par défaut.- Parameters:
variables
- ensemble de variablesconstraints
- ensemble de contraintes
-
-