[ library(fd) | Reference Manual | Alphabetic 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.

## See Also

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