[ 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.