
is_in_domain(++Val, ?Var)

   Succeeds iff Val is in the domain of Var

Arguments
   Val                 An integer
   Var                 A domain variable or an integer

Type
   library(gfd)

Description

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



Modes and Determinism
   is_in_domain(++, ?) is semidet

Exceptions
     5 --- Val is not an integer

See Also
   is_in_domain / 3
