Searched refs:learnt_pool (Results 1 – 3 of 3) sorted by relevance
247 whyp = solv->learnt_pool.elements + solv->learnt_why.elements[i - solv->learntrules]; in enabledisablelearntrules()394 queue_push(&solv->problems, solv->learnt_pool.count); in makeruledecisions()395 queue_push(&solv->learnt_pool, ri); in makeruledecisions()396 queue_push(&solv->learnt_pool, 0); in makeruledecisions()423 queue_push(&solv->problems, solv->learnt_pool.count); in makeruledecisions()424 queue_push(&solv->learnt_pool, ri); in makeruledecisions()425 queue_push(&solv->learnt_pool, solv->decisionq_why.elements[i]); in makeruledecisions()426 queue_push(&solv->learnt_pool, 0); in makeruledecisions()452 queue_push(&solv->problems, solv->learnt_pool.count); in makeruledecisions()453 queue_push(&solv->learnt_pool, ri); in makeruledecisions()[all …]
120 Queue learnt_pool; member
873 for (i = idx; (rid = solv->learnt_pool.elements[i]) != 0; i++) in findproblemrule_internal()889 while ((rid = solv->learnt_pool.elements[idx++]) != 0) in findproblemrule_internal()997 while ((rid = solv->learnt_pool.elements[idx++]) != 0) in findallproblemrules_internal()