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