Macro IlcIntMin

This constant represents the smallest possible negative integer on a given platform.

If an integer expression (that is, an instance of IlcIntExp or one of its subclasses) overflows negatively (that is, if a bound is less than IlcIntMin), then Solver replaces that bound by IlcIntMin.

The value IlcIntMin - 1 (sometimes known as the Joker) is treated correctly.

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