[ library(ic) | Reference Manual | Alphabetic Index ]
?Vars $:: ++Domain
Constrain Vars to have the domain Domain.
- Vars
- Variable or collection (a la collection_to_list/2) of variables
- Domain
- Domain specification
Description
Like ::/2, but does not perform any type analysis on the domain and does
not enforce integrality on the variables even if the domain specified has
integer bounds. Domain must be a contiguous interval.
See Also
:: / 2, #:: / 2