
is_solver_type(?Term)

   Succeeds iff Term is a GFD domain variable or an integer.

Arguments
   Term                A Term

Type
   library(gfd)

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.


