[ library(ic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
?Vars #:: ++Domain
Constrain Vars to be integral and have the domain Domain.
- Vars
- Variable, list of variables or submatrix of variables
- Domain
- Domain specification
Description
Like ::/2, but constrains Vars to take only integer values from the given
domain.
See Also
:: / 2, $:: / 2