Searched refs:decide_next_branch (Results 1 – 2 of 2) sorted by relevance
189 bool decide_next_branch(void);
617 bool CSolver::decide_next_branch(void) in decide_next_branch() function in CSolver767 if (decide_next_branch() || !_implication_queue.empty() || in real_solve()