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

integers(?Vars)

Constrain Vars to be integers

Vars: List of variables or integers

Description

Constrain the variables in Vars to be integers. The constraint succeeds when all the variables are bound to integers. The constraint is only evaluated when all variables are ground.

Fail Conditions

Vars has non-integers.