[ library(ic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# is_in_domain(++Val, ?Var)

Succeeds iff Val is in the domain of Var

Val
  A number
Var
  An IC variable or a number

## Description

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.

### Exceptions

(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