[ 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