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()
454 	      queue_push(&solv->learnt_pool, solv->decisionq_why.elements[i]);  in makeruledecisions()
455 	      queue_push(&solv->learnt_pool, 0);  in makeruledecisions()
838   int learnt_why = solv->learnt_pool.count;  in analyze()
850       queue_push(&solv->learnt_pool, c - solv->rules);  in analyze()
939   queue_push(&solv->learnt_pool, 0);  in analyze()
1005 …   for (i = solv->learnt_why.elements[why - solv->learntrules]; solv->learnt_pool.elements[i]; i++)  in analyze_unsolvable_rule()
1006 	if (solv->learnt_pool.elements[i] > 0)  in analyze_unsolvable_rule()
1007 	  analyze_unsolvable_rule(solv, solv->rules + solv->learnt_pool.elements[i], lastweakp, rseen);  in analyze_unsolvable_rule()
1084   oldlearntpoolcount = solv->learnt_pool.count;  in analyze_unsolvable()
1095     queue_push(&solv->learnt_pool, r - solv->rules);  in analyze_unsolvable()
1128         queue_push(&solv->learnt_pool, why);  in analyze_unsolvable()
1160       solv->learnt_pool.count = oldlearntpoolcount;  in analyze_unsolvable()
1179       solv->learnt_pool.count = oldlearntpoolcount;  in analyze_unsolvable()
1187       queue_push(&solv->learnt_pool, 0);  in analyze_unsolvable()
1436   queue_init(&solv->learnt_pool);  in solver_create()
1442   queue_push(&solv->learnt_pool, 0);	/* so that 0 does not describe a proof */  in solver_create()
1471   queue_free(&solv->learnt_pool);  in solver_free()
3033   queue_empty(&solv->learnt_pool);  in solver_solve()