[ library(gfd) | Reference Manual | Alphabetic Index ]
is_exact_solver_var(?Term)
Succeeds iff Term is an GFD domain variable.
- Term
- A Term
Description
Test if the term Term is an GFD domain variable. This is an alias for
is_solver_var/1 in GFD.
Modes and Determinism
- is_exact_solver_var(?) is semidet
Fail Conditions
Var is not an GFD domain variable.