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

is_in_domain(++Val, ?Var)

Succeeds iff Val is in the domain of Var
A number
An IC variable or a number


Low level predicate which succeeds when Val is in the domain of Var. If Var is a number, this predicate will succeed iff Var $= Val would succeed WITHOUT leaving a delayed goal.

Modes and Determinism


(4) instantiation fault
Val is not ground
(5) type error
either Val or Var is not a numeric type
(undecidable comparison of bounded reals)
Val was a bounded real which overlapped a bound of Var

See Also

is_in_domain / 3