is_in_domain(++Val, ?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