[ library(fd) | Reference Manual | Alphabetic Index ]
?Vars #:: ?Domain
Terms in Vars have the domain Domain. The predicate is an alias for ::/2.
- ?Vars
- A variable or a list of variables.
- +Domain
- Variable, integer, integer interval or a list of integers and integer intervals.
Fail Conditions
Fails if Vars cannot have the domain Domain.
Resatisfiable
No.
See Also
:: / 2, dom_to_list / 2, is_domain / 1