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