[ ECLiPSe Finite Domain built-in.|Group Index|
Full 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.
Exceptions
Examples
See Also
dom_compare / 3, dom_member / 2, dom_range / 3, dom_size / 2, dvar_domain / 2