Package solvers

Class 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.
    • Constructor Detail

      • MACSolver

        public MACSolver​(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