[ library(range) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

integers(?Vars)

Vars' domain is the integer numbers.

Vars: Variable or integer, or a list of variables/integers

Description

Constrain the variables to integer values. Note that this declaration is implicit when specifiying an integer range, e.g. in Y :: 0..99.

Fail Conditions

variables already a non-integer.

See Also

suspend : integers / 1, fd : integers / 1, eplex : integers / 1, range_eplex : integers / 1, ic : integers / 1, ic_kernel : integers / 1, bfs : integers / 1, reals / 1