choco.cp.solver.constraints.reified
Classes 
ExpressionSConstraint
ExpressionSConstraint.VarMinDomComparator
IfThenElse
ReifiedAllSConstraint
ReifiedFactory
ReifiedIntSConstraint