[ library(fd) | Reference Manual | Alphabetic Index ]

?Vars #:: ?Domain

Terms in Vars have the domain Domain. The predicate is an alias for ::/2.
A variable or a list of variables.
Variable, integer, integer interval or a list of integers and integer intervals.

Fail Conditions

Fails if Vars cannot have the domain Domain.



See Also

:: / 2, dom_to_list / 2, is_domain / 1