solver_get_num_scopes method

int solver_get_num_scopes(Z3_context c, Z3_solver s)

\brief Return the number of backtracking points.

\sa Z3_solver_push \sa Z3_solver_pop

def_API('Z3_solver_get_num_scopes', UINT, (_in(CONTEXT), _in(SOLVER)))

Implementation

int solver_get_num_scopes(
  Z3_context c,
  Z3_solver s,
) {
  return _solver_get_num_scopes(
    c,
    s,
  );
}