[ 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