Searched refs:cur_rest_type (Results 1 – 4 of 4) sorted by relevance
359 CMSat::Restart cur_rest_type;
2257 cur_rest_type = conf.restartType; in set_branch_strategy()2372 cur_rest_type = Restart::luby; in set_branch_strategy()2374 cur_rest_type = conf.restartType; in set_branch_strategy()2614 switch(cur_rest_type) { in setup_restart_strategy()2646 switch(cur_rest_type) { in adjust_restart_strategy()
359 CMSat::Restart cur_rest_type; variable