[ 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