[ library(ic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
is_solver_var(?Term)
Succeeds iff Term is an IC variable.
- Term
- A Term
Description
Test if the term Term is an IC variable. Succeed if it is, fail
otherwise.
Fail Conditions
Var is not an IC variable.