queue_init(&solv->learnt_why);
queue_init(&solv->learnt_pool);
queue_init(&solv->branches);
+ queue_init(&solv->covenantq);
map_init(&solv->recommendsmap, pool->nsolvables);
map_init(&solv->suggestsmap, pool->nsolvables);
queue_free(&solv->problems);
queue_free(&solv->suggestions);
queue_free(&solv->branches);
+ queue_free(&solv->covenantq);
map_free(&solv->recommendsmap);
map_free(&solv->suggestsmap);
Id *obsoletes; /* obsoletes for each installed solvable */
Id *obsoletes_data; /* data area for obsoletes */
+ Queue covenantq; /* Covenants honored by this solver (generic locks) */
+
} Solver;
/*