global_param_reset_all method

void global_param_reset_all()

\brief Restore the value of all global (and module) parameters. This command will not affect already created objects (such as tactics and solvers).

\sa Z3_global_param_get \sa Z3_global_param_set

def_API('Z3_global_param_reset_all', VOID, ())

Implementation

void global_param_reset_all() {
  return _global_param_reset_all();
}