[ 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

Exceptions

(5) type error
Val is not an integer

See Also

is_in_domain / 3