Author: schubi2 Date: Fri Nov 9 17:03:43 2007 New Revision: 7776 URL: http://svn.opensuse.org/viewcvs/zypp?rev=7776&view=rev Log: doc added 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=7776&r1=7775&r2=7776&view=diff ============================================================================== --- trunk/sat-solver/src/solver.c (original) +++ trunk/sat-solver/src/solver.c Fri Nov 9 17:03:43 2007 @@ -1819,6 +1819,12 @@ /* * setpropagatelearn + * + * add free decision to decision q, increase level + * 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 */ static int @@ -1846,7 +1852,7 @@ if (level == 1) return analyze_unsolvable(solv, r, disablerules); printf("conflict with rule #%d\n", (int)(r - solv->rules)); - l = analyze(solv, level, r, &p, &d, &why); + l = analyze(solv, level, r, &p, &d, &why); /* learnt rule in p and d */ if (l >= level || l <= 0) abort(); printf("reverting decisions (level %d -> %d)\n", level, l); @@ -2069,7 +2075,7 @@ queue_push(&dq, p); } if (p) - continue; /* rule is already true */ + continue; /* update package already installed */ } if (!dq.count && solv->decisionmap[i] != 0) continue; -- To unsubscribe, e-mail: zypp-commit+unsubscribe@opensuse.org For additional commands, e-mail: zypp-commit+help@opensuse.org