choco.cp.solver.constraints.reified.leaves
Classes 
ConstantLeaf
ConstraintLeaf
VariableLeaf