getNumScopes method

int getNumScopes()

Implementation

int getNumScopes() {
  return _c._z3.solver_get_num_scopes(_solver);
}