
is_exact_solver_var(?Term)

   Succeeds iff Term is an GFD domain variable.

Arguments
   Term                A Term

Type
   library(gfd)

Description

   Test if the term Term is an GFD domain variable. This is an alias for
   is_solver_var/1 in GFD.


Modes and Determinism
   is_exact_solver_var(?) is semidet

Fail Conditions
   Var is not an GFD domain variable.


