[−][src]Function z3_sys::Z3_global_param_reset_all
pub unsafe extern "C" fn Z3_global_param_reset_all()
Restore the value of all global (and module) parameters. This command will not affect already created objects (such as tactics and solvers).