Searched refs:oldlearntpoolcount (Results 1 – 1 of 1) sorted by relevance
1077 int oldlearntpoolcount; in analyze_unsolvable() local1084 oldlearntpoolcount = solv->learnt_pool.count; in analyze_unsolvable()1160 solv->learnt_pool.count = oldlearntpoolcount; in analyze_unsolvable()1179 solv->learnt_pool.count = oldlearntpoolcount; in analyze_unsolvable()1188 solv->problems.elements[oldproblemcount] = oldlearntpoolcount; in analyze_unsolvable()