[ library(gfd) | Reference Manual | Alphabetic Index ]
?Vars #:: ++Domain
Constrain Vars to have the domain Domain.
- Vars
- Variable (array notation accepted) or collection (a la collection_to_list/2) of variables
- Domain
- Domain specification
Description
Alias of ::/2. See ::/2 for more details.
Modules
This predicate is sensitive to its module context (tool predicate, see @/2).
See Also
:: / 2