choco.kernel.model.variables.integer
Classes
IntegerConstantVariable
IntegerExpressionVariable
IntegerVariable
MetaIntegerExpressionVariable