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