Searched refs:ruletojob (Results 1 – 5 of 5) sorted by relevance
101 Queue ruletojob; /* index into job queue: jobs for which a rule exits */ member
1789 j = solv->ruletojob.elements[i - solv->jobrules]; in solver_disablepolicyrules()1875 j = solv->ruletojob.elements[i - solv->jobrules]; in solver_reenablepolicyrules()1943 j = solv->ruletojob.elements[i - solv->jobrules]; in solver_reenablepolicyrules_cleandeps()2172 Id jidx = solv->ruletojob.elements[rid - solv->jobrules]; in solver_ruleinfo()2282 return solv->ruletojob.elements[rid - solv->jobrules] + 1; in solver_rule2jobidx()2295 idx = solv->ruletojob.elements[rid - solv->jobrules]; in solver_rule2job()2671 for (j = 0; j < solv->ruletojob.count; j++) in solver_addbestrules()2672 if (solv->ruletojob.elements[j] == i) in solver_addbestrules()2674 if (j == solv->ruletojob.count) in solver_addbestrules()3033 i = solv->ruletojob.elements[rid - solv->jobrules]; in solver_createcleandepsmap()[all …]
402 v = -(solv->ruletojob.elements[ri - solv->jobrules] + 1); in makeruledecisions()433 v = -(solv->ruletojob.elements[ri - solv->jobrules] + 1); in makeruledecisions()482 v = -(solv->ruletojob.elements[i - solv->jobrules] + 1); in makeruledecisions()537 v = -(solv->ruletojob.elements[ri - solv->jobrules] + 1); in makeruledecisions()1018 why = -(solv->ruletojob.elements[why - solv->jobrules] + 1); in analyze_unsolvable_rule()1162 v = -(solv->ruletojob.elements[lastweak - solv->jobrules] + 1); in analyze_unsolvable()1430 queue_init(&solv->ruletojob); in solver_create()1467 queue_free(&solv->ruletojob); in solver_free()1784 !(solv->job.elements[solv->ruletojob.elements[i - solv->jobrules]] & SOLVER_ORUPDATE)) in solver_run_sat()2714 queue_push(&solv->ruletojob, job); in solver_addjobrule()[all …]
78 jp = solv->ruletojob.elements; in solver_disableproblem()135 jp = solv->ruletojob.elements; in solver_enableproblem()505 queue_push(solutionq, solv->ruletojob.elements[-p - solv->jobrules] + 1); in convertsolution()
240 jp = solv->ruletojob.elements; in solver_printproblem()