[ library(gfd) | Reference Manual | Alphabetic Index ]
solver_vars_number(-NumberOfVariables)
Returns the number of domain variables in the gecode solver state
- NumberOfVariables
- Free variable
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