[ library(ic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
integers(?Vars)
Vars' domain is the integer numbers.
- Vars
- Variable or integer, or a list or submatrix of variables/integers
Calling Modes
- integers(-)
- integers(?)
- integers(+)
Description
Constrain the variables to integer values. Note that this declaration is
implicit when specifiying an integer interval, e.g. in Y :: 0..99.
See Also
reals / 1, suspend : integers / 1, fd : integers / 1, range : integers / 1, eplex : integers / 1, range_eplex : integers / 1, ic_kernel : integers / 1, bfs : integers / 1