
dom_check_in(+Element, +Dom)

   Element is in the domain Dom.



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

Type
   library(fd)

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.

See Also
   dom_compare / 3, dom_member / 2, dom_range / 3, dom_size / 2, dvar_domain / 2
