Package solvers
Class BacktrackSolver
- java.lang.Object
-
- solvers.AbstractSolver
-
- solvers.BacktrackSolver
-
- All Implemented Interfaces:
Solver
public class BacktrackSolver extends AbstractSolver
Cette classe décrit un solveur permettant de retourner en arrière et de tester systématiquement l'ensemble des affectations potentielles du problème.
-
-
Field Summary
-
Fields inherited from class solvers.AbstractSolver
constraints, variables
-
-
Constructor Summary
Constructors Constructor Description BacktrackSolver(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
-
BacktrackSolver
public BacktrackSolver(java.util.Set<Variable> variables, java.util.Set<Constraint> constraints)
Constructeur par défaut.- Parameters:
variables
- ensemble de variablesconstraints
- ensemble de contraintes
-
-