Next: Additional Finite Domain Constraints
Up: The Finite Domains Library
Previous: Program Examples
  Index
- 1.
- The default domain for integer finite domain variables
is -10000000..10000000.
Larger domains must be stated explicitly using the ::/2 predicate,
however neither bound can be outside the long integer
range (usually 32 bits).
- 2.
- Linear integer terms are processed using long integers
and thus if the maximum or minimum value of a linear term
overflows this range (usually 32 bits), incorrect results
are reported.
This may occur if large coefficients are used, if domains are
too large or a combination of the two.
1999-08-06