[ library(ic) | Reference Manual | Alphabetic Index ]
integers(?Vars)
Vars' domain is the integer numbers.
- Vars
- Variable or integer, or a list or submatrix of variables/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.
Modes and Determinism
- integers(-) is det
- integers(+) is semidet
See Also
reals / 1, bfs : integers / 1, suspend : integers / 1, gfd : integers / 1, eplex : integers / 1, ic_kernel : integers / 1, fd : integers / 1