choco.cp.model.managers.operators
Classes 
AbsManager
CosManager
DistanceEQManager
DistanceGTManager
DistanceLTManager
DistanceNEQManager
DivManager
DoubleManager
MaxManager
MinManager
MinusManager
MultManager
NegManager
PlusManager
PowerManager
ScalarManager
SinManager
SqrtManager
SumManager