Searched refs:restart_randomness (Results 1 – 2 of 2) sorted by relevance
100 int restart_randomness; member
72 _params.restart_randomness = 0; in CSolver()124 _params.randomness = _params.restart_randomness; in run_periodic_functions()