From 06ad039561bc89fb3937a0503870333d32ee087e Mon Sep 17 00:00:00 2001 From: Stefan Schubert Date: Fri, 16 Nov 2007 13:07:10 +0000 Subject: [PATCH] comments added --- src/solver.c | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/src/solver.c b/src/solver.c index ece8d6a..6eeee16 100644 --- a/src/solver.c +++ b/src/solver.c @@ -318,11 +318,18 @@ hashrule(Solver *solv, Id p, Id d, int n) * Remove: p < 0, d = 0 (-A) user requested remove * Requires: p < 0, d > 0 (-A|B1|B2|...) d: * Updates: p > 0, d > 0 (A|B1|B2|...) d: - * 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 * -- 2.7.4