Home
last modified time | relevance | path

Searched refs:decisionq_why (Results 1 – 4 of 4) sorted by relevance

/haiku/src/libs/libsolv/solv/
H A Dsolver.c299 queue_push(&solv->decisionq_why, 0); in makeruledecisions()
309 --solv->decisionq_why.count; in makeruledecisions()
341 queue_push(&solv->decisionq_why, r - solv->rules); in makeruledecisions()
414 assert(solv->decisionq_why.elements[i] > 0); in makeruledecisions()
419 if (solv->decisionq_why.elements[i] < solv->rpmrules_end) in makeruledecisions()
425 queue_push(&solv->learnt_pool, solv->decisionq_why.elements[i]); in makeruledecisions()
454 queue_push(&solv->learnt_pool, solv->decisionq_why.elements[i]); in makeruledecisions()
515 queue_push(&solv->decisionq_why, r - solv->rules); in makeruledecisions()
798 queue_push(&solv->decisionq_why, r - solv->rules); in propagate()
918 why = solv->decisionq_why.elements[idx]; in analyze()
[all …]
H A Dsolver.h105 Queue decisionq_why; /* index of rule, Offset into rules */ member
H A Dproblems.c601 queue_push(&redoq, solv->decisionq_why.elements[i]); in create_solutions()
686 queue_empty(&solv->decisionq_why); in create_solutions()
691 queue_push(&solv->decisionq_why, redoq.elements[i + 1]); in create_solutions()
H A Dsolverdebug.c277 why = solv->decisionq_why.elements[i]; in solver_printdecisionq()