[ 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