[ library(gfd) | Reference Manual | Alphabetic Index ]
is_in_domain(++Val, ?Var, -Result)
Binds Result to indicate presence of Val in domain of Var
- Val
- A number
- Var
- A domain variable or an integer
- Result
- A variable
Description
Low level predicate which succeeds when Val is in the domain of Var with
Result bound to the atom 'yes'. When Val is not in the domain of Var,
the predicate succeeds binding Result to the atom 'no'.
Modes and Determinism
- is_in_domain(++, ?, -) is det
Exceptions
- (5) type error
- Val is not an integer
See Also
is_in_domain / 2