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