
dom_member(?Element, +Dom)

   Element is in the domain Dom.



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

Type
   library(fd)

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




Fail Conditions
      None.



Resatisfiable
      Yes.

See Also
   dom_check_in / 2, indomain / 1
