[ library(ic) | Reference Manual | Alphabetic Index ]

is_exact_solver_var(?Term)

Succeeds iff Term is an IC integer variable.
Term
A Term

Description

Test if the term Term is an IC integer variable.

Modes and Determinism

Fail Conditions

Var is not an IC integer variable.