Searched refs:decisioncnt_resolve (Results 1 – 2 of 2) sorted by relevance
114 int decisioncnt_resolve; member
1983 solv->decisioncnt_resolve = solv->decisionq.count; in solver_run_sat()2514 solv->decisioncnt_resolve = solv->decisionq.count; in solver_run_sat()3031 …solv->decisioncnt_update = solv->decisioncnt_keep = solv->decisioncnt_resolve = solv->decisioncnt_… in solver_solve()4035 if (i < solv->decisioncnt_resolve) in solver_describe_decision()