Lines Matching refs:jobrules
401 if (ri >= solv->jobrules && ri < solv->jobrules_end) in makeruledecisions()
402 v = -(solv->ruletojob.elements[ri - solv->jobrules] + 1); in makeruledecisions()
432 if (ri >= solv->jobrules && ri < solv->jobrules_end) in makeruledecisions()
433 v = -(solv->ruletojob.elements[ri - solv->jobrules] + 1); in makeruledecisions()
481 if (i >= solv->jobrules && i < solv->jobrules_end) in makeruledecisions()
482 v = -(solv->ruletojob.elements[i - solv->jobrules] + 1); in makeruledecisions()
536 if (ri >= solv->jobrules && ri < solv->jobrules_end) in makeruledecisions()
537 v = -(solv->ruletojob.elements[ri - solv->jobrules] + 1); in makeruledecisions()
1017 if (why >= solv->jobrules && why < solv->jobrules_end) in analyze_unsolvable_rule()
1018 why = -(solv->ruletojob.elements[why - solv->jobrules] + 1); in analyze_unsolvable_rule()
1161 if (lastweak >= solv->jobrules && lastweak < solv->jobrules_end) in analyze_unsolvable()
1162 v = -(solv->ruletojob.elements[lastweak - solv->jobrules] + 1); in analyze_unsolvable()
1759 for (i = solv->jobrules, r = solv->rules + i; i < solv->jobrules_end; i++, r++) in solver_run_sat()
1784 !(solv->job.elements[solv->ruletojob.elements[i - solv->jobrules]] & SOLVER_ORUPDATE)) in solver_run_sat()
3346 solv->jobrules = solv->nrules; in solver_solve()
3530 assert(solv->ruletojob.count == solv->nrules - solv->jobrules); in solver_solve()
3581 …, solv->updaterules_end - solv->updaterules, solv->jobrules_end - solv->jobrules, solv->infarchrul… in solver_solve()
3692 for (i = solv->jobrules, r = solv->rules + i; i < solv->jobrules_end; i++, r++) in solver_get_recommendations()