[ library(gfd) | Reference Manual | Alphabetic Index ]

integers(?Vars)

Vars' domain is the integer numbers (within default bounds).

Vars: Variable or integer, or a collection of variables

Description

Constrain the variables to integer values. If any variable is a non-domain variable, a default domain will be created for it.

Modes and Determinism

integers(-) is det
integers(+) is semidet

See Also

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