Author: schubi2 Date: Fri Nov 16 14:07:10 2007 New Revision: 7843 URL: http://svn.opensuse.org/viewcvs/zypp?rev=7843&view=rev Log: comments 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=7843&r1=7842&r2=7843&view=diff ============================================================================== --- trunk/sat-solver/src/solver.c (original) +++ trunk/sat-solver/src/solver.c Fri Nov 16 14:07:10 2007 @@ -318,11 +318,18 @@ * Remove: p < 0, d = 0 (-A) user requested remove * Requires: p < 0, d > 0 (-A|B1|B2|...) d: <list of providers for requirement of p> * Updates: p > 0, d > 0 (A|B1|B2|...) d: <list of updates for solvable p> - * Conflicts: p < 0, d < 0 (-A|-B) either p (conflict issuer) or d (conflict provider) + * Conflicts: p < 0, d < 0 (-A|-B) either p (conflict issuer) or d (conflict provider) (binary rule) * ? p > 0, d < 0 (A|-B) * No-op ?: p = 0, d = 0 (null) (used as policy rule placeholder) * - * always returns a rule for non-rpm rules + * resulting watches: + * ------------------ + * Direct assertion (no watch needed)( if d <0 ) --> d = 0, w1 = p, w2 = 0 + * Binary rule: p = first literal, d = 0, w2 = second literal, w1 = p + * every other : w1 = p, w2 = whatprovidesdata[d]; + * Disabled rule: w1 = 0 + * + * always returns a rule for non-rpm rules */ static Rule * -- To unsubscribe, e-mail: zypp-commit+unsubscribe@opensuse.org For additional commands, e-mail: zypp-commit+help@opensuse.org