[ 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