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