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

is_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. Succeed if it is, fail otherwise.

Modes and Determinism

Fail Conditions

Var is not an GFD domain variable.