From 49c8e42d225abe25d7bdd0b3eabfb63a1254143f Mon Sep 17 00:00:00 2001 From: Michael Schroeder Date: Wed, 9 Jan 2008 19:08:06 +0000 Subject: [PATCH] - clarify --- src/solver.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/solver.c b/src/solver.c index 9f52774..7b31c03 100644 --- a/src/solver.c +++ b/src/solver.c @@ -1832,13 +1832,13 @@ watch2onhighest(Solver *solv, Rule *r) /* * setpropagatelearn * - * add free decision to decision q, increase level + * add free decision to decisionq, increase level and * propagate decision, return if no conflict. * in conflict case, analyze conflict rule, add resulting * rule to learnt rule set, make decision from learnt * rule (always unit) and re-propagate. * - * returns the current solver level + * returns the new solver level or 0 if unsolvable * */ @@ -1902,7 +1902,7 @@ setpropagatelearn(Solver *solv, int level, Id decision, int disablerules) * install best package from the queue. We add an extra package, inst, if * provided. See comment in weak install section. * - * returns the current solver level + * returns the new solver level or 0 if unsolvable * */ static int @@ -2165,7 +2165,7 @@ run_solver(Solver *solv, int disablerules, int doweak) if (i == solv->nrules) i = 1; r = solv->rules + i; - if (!r->w1) // disabled rule + if (!r->w1) /* ignore disabled rules */ continue; queue_empty(&dq); if (r->d == 0) -- 2.7.4