[ 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.