[ 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