Searched refs:solver_choicerulecheck2 (Results 1 – 1 of 1) sorted by relevance
3191 solver_choicerulecheck2(Solver *solv, Id pi, Id pt, Queue *q) in solver_choicerulecheck2() function3412 if (p2 && !solver_choicerulecheck2(solv, p2, -p, &qcheck2)) in solver_addchoicerules()