[ library(fd) | Reference Manual | Alphabetic Index ]
dom_check_in(+Element, +Dom)
Element is in the domain Dom.
- +Element
- A Prolog term.
- +Dom
- A finite domain.
Description
Succeed if the term Element is in the domain Dom.
Fail Conditions
Fails if the element does not occur in the domain.
Resatisfiable
No.
See Also
dom_compare / 3, dom_member / 2, dom_range / 3, dom_size / 2, dvar_domain / 2