Searched refs:decisioncnt_orphan (Results 1 – 2 of 2) sorted by relevance
116 int decisioncnt_orphan; member
2370 solv->decisioncnt_orphan = solv->decisionq.count; in solver_run_sat()2516 solv->decisioncnt_orphan = solv->decisionq.count; in solver_run_sat()3031 …cisioncnt_keep = solv->decisioncnt_resolve = solv->decisioncnt_weak = solv->decisioncnt_orphan = 0; in solver_solve()3724 for (i = solv->decisioncnt_weak; i < solv->decisioncnt_orphan; i++) in solver_get_recommendations()4054 if (solv->decisionq.count < solv->decisioncnt_orphan) in solver_describe_decision()4077 if (decisionno < solv->decisioncnt_weak || decisionno >= solv->decisioncnt_orphan) in solver_describe_weakdep_decision()