choco.kernel.solver.constraints.reified
Interfaces 
ArithmNode
BoolNode
Classes 
INode
Enums 
NodeType