Macro IlcIntMax

This constant represents the largest possible positive integer on a given platform.

The member function IlcIntExp::getSize (indicating the number of values in the domain of an integer expression) returns IlcIntMax whenever max - min (the difference between the upper and lower bounds of the domain of the expression) is greater than IlcIntMax.

If an integer expression overflows positively (that is, if a bound is greater than IlcIntMax) then Solver replaces that bound by IlcIntMax.

Solver evaluates the expression 0/0 as the interval [IlcIntMin..IlcIntMax].