Searched refs:maple_step_size (Results 1 – 6 of 6) sorted by relevance
83 maple_step_size = conf.orig_step_size; in Searcher()1352 && maple_step_size > conf.min_step_size) in update_branch_params()1354 maple_step_size -= conf.step_size_dec; in update_branch_params()1356 cout << "maple step size is now: " << std::setprecision(7) << maple_step_size << endl; in update_branch_params()2705 << " maple step_size: " << maple_step_size in print_local_restart_budget()3685 … maple_step_size * adjusted_reward + ((1.0 - maple_step_size ) * old_activity); in cancelUntil()3696 << " step_size: " << maple_step_size in cancelUntil()
133 double maple_step_size; variable
1593 maple_step_size = conf.orig_step_size; in solve_with_assumptions()