[ 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