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

# is_in_domain(++Val, ?Var, -Result)

Binds Result to indicate presence of Val in domain of Var

Val
  A number
Var
  A domain variable or an integer
Result
  A variable

## Description

Low level predicate which succeeds when Val is in the domain of Var with Result bound to the atom 'yes'. When Val is not in the domain of Var, the predicate succeeds binding Result to the atom 'no'.

### Modes and Determinism

- is_in_domain(++, ?, -) is det

### Exceptions

(5) type error
  Val is not an integer

## See Also

is_in_domain / 2