choco.cp.solver.search.integer.varselector.ratioselector
Interfaces
IntVarRatioSelector
Classes
AbstractIntVarRatioSelector
DomOverWDegSelector
MaxRatioSelector
MinRatioSelector
RandDomOverWDegSelector
RandMaxRatioSelector
RandMinRatioSelector