[ ECLiPSe Finite Domain built-in.|Group Index| Full Index]

dom_member(?Element, +Dom)

Element is in the domain Dom.

?Element
A Prolog term.
+Dom
A finite domain.

Description

Successively instantiate Element to the values in the domain Dom (similar to indomain/1).

Fail Conditions

None.

Resatisfiable

Yes.

Exceptions

Examples


See Also

dom_check_in / 2, indomain / 1