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

integers(+Vars)

Constrains Vars to be integers.
Vars
List of variables or integers.

Description

Constrains the list Vars to be integers. If Vars contains non-domain variable, such variables will be given the default domain.

Fail Conditions

Fails if Vars contains non-integers, or variables with non-integer domains.

Resatisfiable

No.

Exceptions

(5) type error
Vars is a variable.