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

   Binds Result to indicate presence of Val in domain of Var

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

Type
   library(gfd)

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 --- Val is not an integer

See Also
   is_in_domain / 2
