Author: mlschroe Date: Wed Jan 9 20:08:06 2008 New Revision: 8252 URL: http://svn.opensuse.org/viewcvs/zypp?rev=8252&view=rev Log: - clarify Modified: trunk/sat-solver/src/solver.c Modified: trunk/sat-solver/src/solver.c URL: http://svn.opensuse.org/viewcvs/zypp/trunk/sat-solver/src/solver.c?rev=8252&r1=8251&r2=8252&view=diff ============================================================================== --- trunk/sat-solver/src/solver.c (original) +++ trunk/sat-solver/src/solver.c Wed Jan 9 20:08:06 2008 @@ -1832,13 +1832,13 @@ /* * 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 @@ * 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 @@ 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) -- To unsubscribe, e-mail: zypp-commit+unsubscribe@opensuse.org For additional commands, e-mail: zypp-commit+help@opensuse.org