Searched defs:rnd_start (Results 1 – 5 of 5) sorted by relevance
138 const size_t rnd_start = solver->mtrand.randInt(solver->watches.size()-1); in subsume_implicit() local
206 float rnd_start = 1 - *params[par_window1] * 0.5f; in get_graph() local276 float rnd_start = 1 - *params[par_window1] * 0.5f; in calculate_buffer_oscs() local
232 float rnd_start = 1 - *params[par_window1] * 0.5f; in get_graph() local304 float rnd_start = 1 - *params[par_window1] * 0.5f; in calculate_buffer_oscs() local
63 int rnd_start; member