[ library(gfd) | Reference Manual | Alphabetic Index ]
is_solver_type(?Term)
Succeeds iff Term is a GFD domain variable or an integer.
- Term
- A Term
Description
   Test if the term Term is a GFD domain variable or an integer.
   Succeed if it is, fail otherwise.
Modes and Determinism
- is_solver_type(?) is semidet
Fail Conditions
Var is not a GFD domain variable or an integer.