choco.cp.solver.search.integer.valiterator
Classes
DecreasingDomain
IncreasingDomain