Package solvers

Class 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 de BacktrackSolver en la matière qu'elle vérifie toutes les solutions possibles et ne s'arrête pas à la première trouvée.
    • Constructor Detail

      • BacktrackAllSolver

        public BacktrackAllSolver​(java.util.Set<Variable> variables,
                                  java.util.Set<Constraint> constraints)
        Constructeur par défaut.
        Parameters:
        variables - ensemble de variables
        constraints - 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