
solver_vars_number(-NumberOfVariables)

   Returns the number of domain variables in the gecode solver state

Arguments
   NumberOfVariables   Free variable

Type
   library(gfd)

Description
  Returns the current total number of domain variables in the gecode solver
  state. This is for the variables that are created at the ECLiPSe
  level by the program or by GFD.


See Also
   solver_constraints_number / 1
