choco.palm.dbt.integer
Interfaces 
PalmIntDomain
Classes 
BitVectorIntDomain
PalmBitSetIntDomain
PalmIntervalIntDomain
PalmIntVar