Searched refs:propagate_index (Results 1 – 2 of 2) sorted by relevance
123 int propagate_index; /* index into decisionq for non-propagated decisions */ member
654 while (solv->propagate_index < solv->decisionq.count) in propagate()660 pkg = -solv->decisionq.elements[solv->propagate_index++]; in propagate()972 solv->propagate_index = 0; in solver_reset()1229 solv->propagate_index = solv->decisionq.count; in revert()1743 …"propagating (propagate_index: %d; size decisionq: %d)...\n", solv->propagate_index, solv->decisi… in solver_run_sat()3035 solv->propagate_index = 0; in solver_solve()