Package solvers
Class BacktrackAllSolver
- java.lang.Object
-
- solvers.AbstractSolver
-
- solvers.BacktrackAllSolver
-
- All Implemented Interfaces:
Solver
public class BacktrackAllSolver 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. Cette classe se distingue deBacktrackSolver
en la matière qu'elle vérifie toutes les solutions possibles et ne s'arrête pas à la première trouvée.
-
-
Field Summary
-
Fields inherited from class solvers.AbstractSolver
constraints, variables
-
-
Constructor Summary
Constructors Constructor Description BacktrackAllSolver(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.List<java.util.Map<Variable,java.lang.Object>>
getAllSolutions()
Récupère toutes les solutions trouvées pour le modèle.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
-
BacktrackAllSolver
public BacktrackAllSolver(java.util.Set<Variable> variables, java.util.Set<Constraint> constraints)
Constructeur par défaut.- Parameters:
variables
- ensemble de variablesconstraints
- ensemble de contraintes
-
-
Method Detail
-
solve
public final java.util.Map<Variable,java.lang.Object> solve()
Description copied from interface:Solver
Résout un problème à partir de contraintes et renvoie une solution.- Returns:
- solution au problème (instanciation complète) ou
null
si aucune solution n'a été trouvée
-
getAllSolutions
public java.util.List<java.util.Map<Variable,java.lang.Object>> getAllSolutions()
Récupère toutes les solutions trouvées pour le modèle.- Returns:
- toutes les solutions trouvées
-
-