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
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.
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	Implementation of DowOverWDeg[1].
FirstFail	First fail variable selector.
GeneralizedMinDomVarSelector	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.
Smallest	Smallest variable selector.
VariableSelectorWithTies<V extends Variable>