Module org.chocosolver.solver
Package org.chocosolver.solver.search.strategy.selectors.variables
-
Interface Summary Interface Description VariableEvaluator<V extends Variable> A variable evaluator.VariableSelector<V extends Variable> A variable selector specifies which variable should be selected at a fix point. -
Class Summary Class Description AbstractCriterionBasedVariableSelector<V extends Variable> Project: choco.ActivityBased Implementation of the search described in: "Activity-Based Search for Black-Box Constraint Propagramming Solver", Laurent Michel and Pascal Van Hentenryck, CPAIOR12.AntiFirstFail Anti first fail variable selector.ClausesBased ConflictHistorySearch<V extends Variable> Source: "Conflict History Based Branching Heuristic for CSP Solving", Habet and Terrioux.Cyclic<V extends Variable> A cyclic variable selector : Iterates over variables according to lexicographic ordering in a cyclic manner (loop back to the first variable)DomOverWDeg<V extends Variable> Implementation of DowOverWDeg[1].DomOverWDegRef<V extends Variable> Implementation of refined DowOverWDeg.FailureBased<V extends Variable> This is the source code of the failure based variable ordering heuristics proposed in paper "Failure Based Variable Ordering Heuristics for Solving CSPs" of CP2021.FirstFail First fail variable selector.GeneralizedMinDomVarSelector<V extends Variable> First fail variable selector generalized to all variables.ImpactBased Implementation of the search described in: "Impact-Based Search Strategies for Constraint Programming", Philippe Refalo, CP2004.InputOrder<V extends Variable> Input order variable selector.Largest Largest variable selector.MaxDelta Selects the variables maximising envelopeSize-kernelSize.MaxRegret Max regret variable selector.MinDelta Selects the variables minimising envelopeSize-kernelSize (quite similar to minDomain, or first-fail)Occurrence<V extends Variable> Occurrence variable selector.Random<T extends Variable> Random variable selector.RandomVar<T extends Variable> Random variable selector & evaluator to be used with fast restart strategySmallest Smallest variable selector.VariableSelectorWithTies<V extends Variable>