[ library(fd) | The ECLiPSe Libraries | 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