/* called when a choice rule is disabled by analyze_unsolvable. We also
* have to disable all other choice rules so that the best packages get
* picked */
-
void
-disablechoicerules(Solver *solv, Rule *r)
+solver_disablechoicerules(Solver *solv, Rule *r)
{
Id rid, p, *pp;
Pool *pool = solv->pool;
}
}
-void solver_createcleandepsmap(Solver *solv)
+static void solver_createcleandepsmap(Solver *solv)
{
Pool *pool = solv->pool;
Repo *installed = solv->installed;
int solver_allruleinfos(struct _Solver *solv, Id rid, Queue *rq);
SolverRuleinfo solver_ruleinfo(struct _Solver *solv, Id rid, Id *fromp, Id *top, Id *depp);
+/* misc functions */
+void solver_disablechoicerules(struct _Solver *solv, Rule *r);
#ifdef __cplusplus
}
if (lastweak)
{
Id v;
- extern void disablechoicerules(Solver *solv, Rule *r);
/* disable last weak rule */
solv->problems.count = oldproblemcount;
solv->learnt_pool.count = oldlearntpoolcount;
POOL_DEBUG(SAT_DEBUG_UNSOLVABLE, "disabling ");
solver_printruleclass(solv, SAT_DEBUG_UNSOLVABLE, solv->rules + lastweak);
if (lastweak >= solv->choicerules && lastweak < solv->choicerules_end)
- disablechoicerules(solv, solv->rules + lastweak);
+ solver_disablechoicerules(solv, solv->rules + lastweak);
solver_disableproblem(solv, v);
if (v < 0)
solver_reenablepolicyrules(solv, -(v + 1));