[ library(gfd) | Reference Manual | Alphabetic Index ]
solver_constraints_number(-NumberOfConstraints)
Returns the number of constraints in the gecode solver state
- NumberOfConstraints
- Free variable
Description
Returns the current total number of active constraints (propagators)
in the gecode solver state.
See Also
solver_vars_number / 1