Searched refs:solver_get_lastdecisionblocklevel (Results 1 – 2 of 2) sorted by relevance
285 extern int solver_get_lastdecisionblocklevel(Solver *solv);
3946 solver_get_lastdecisionblocklevel(Solver *solv) in solver_get_lastdecisionblocklevel() function