Searched refs:set_branch_strategy (Results 1 – 4 of 4) sorted by relevance
199 void set_branch_strategy(uint32_t iteration_num);
89 set_branch_strategy(0); in Searcher()2253 void Searcher::set_branch_strategy(uint32_t iteration_num) in set_branch_strategy() function in Searcher2536 set_branch_strategy(branch_strategy_num); in solve()