[ library(ic) | 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.
Modes and Determinism
- is_in_domain(++, ?) is semidet
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