[ library(gfd) | Reference Manual | Alphabetic Index ]

# is_in_domain(++Val, ?Var)

Succeeds iff Val is in the domain of Var

Val
  An integer
Var
  A domain variable or an integer

## Description

Low level predicate which succeeds when Val is in the domain of Var.

### Modes and Determinism

- is_in_domain(++, ?) is semidet

### Exceptions

(5) type error
  Val is not an integer

## See Also

is_in_domain / 3