choco.cp.solver.search.integer.varselector.ratioselector.ratios.degree
Classes
DomDegRatio
DomDynDegRatio
DomWDegRatio
IncDomWDegRatio