2 * Copyright (c) 2007-2009, Novell Inc.
4 * This program is licensed under the BSD license, read LICENSE.BSD
5 * for further information
13 #ifndef LIBSOLV_RULES_H
14 #define LIBSOLV_RULES_H
20 /* ----------------------------------------------
23 * providerN(B) == Package Id of package providing tag B
24 * N = 1, 2, 3, in case of multiple providers
26 * A requires B : !A | provider1(B) | provider2(B)
28 * A conflicts B : (!A | !provider1(B)) & (!A | !provider2(B)) ...
30 * 'not' is encoded as a negative Id
32 * Binary rule: p = first literal, d = 0, w2 = second literal, w1 = p
34 * There are a lot of rules, so the struct is kept as small as
35 * possible. Do not add new members unless there is no other way.
38 typedef struct _Rule {
39 Id p; /* first literal in rule */
40 Id d; /* Id offset into 'list of providers terminated by 0' as used by whatprovides; pool->whatprovides + d */
41 /* in case of binary rules, d == 0, w1 == p, w2 == other literal */
42 /* in case of disabled rules: ~d, aka -d - 1 */
43 Id w1, w2; /* watches, literals not-yet-decided */
44 /* if !w2, assertion, not rule */
45 Id n1, n2; /* next rules in linked list, corresponding to w1, w2 */
50 SOLVER_RULE_UNKNOWN = 0,
51 SOLVER_RULE_PKG = 0x100,
52 SOLVER_RULE_PKG_NOT_INSTALLABLE,
53 SOLVER_RULE_PKG_NOTHING_PROVIDES_DEP,
54 SOLVER_RULE_PKG_REQUIRES,
55 SOLVER_RULE_PKG_SELF_CONFLICT,
56 SOLVER_RULE_PKG_CONFLICTS,
57 SOLVER_RULE_PKG_SAME_NAME,
58 SOLVER_RULE_PKG_OBSOLETES,
59 SOLVER_RULE_PKG_IMPLICIT_OBSOLETES,
60 SOLVER_RULE_PKG_INSTALLED_OBSOLETES,
61 SOLVER_RULE_PKG_RECOMMENDS,
62 SOLVER_RULE_UPDATE = 0x200,
63 SOLVER_RULE_FEATURE = 0x300,
64 SOLVER_RULE_JOB = 0x400,
65 SOLVER_RULE_JOB_NOTHING_PROVIDES_DEP,
66 SOLVER_RULE_JOB_PROVIDED_BY_SYSTEM,
67 SOLVER_RULE_JOB_UNKNOWN_PACKAGE,
68 SOLVER_RULE_JOB_UNSUPPORTED,
69 SOLVER_RULE_DISTUPGRADE = 0x500,
70 SOLVER_RULE_INFARCH = 0x600,
71 SOLVER_RULE_CHOICE = 0x700,
72 SOLVER_RULE_LEARNT = 0x800,
73 SOLVER_RULE_BEST = 0x900,
74 SOLVER_RULE_YUMOBS = 0xa00
77 #define SOLVER_RULE_TYPEMASK 0xff00
81 /*-------------------------------------------------------------------
86 solver_disablerule(struct _Solver *solv, Rule *r)
92 /*-------------------------------------------------------------------
97 solver_enablerule(struct _Solver *solv, Rule *r)
103 extern Rule *solver_addrule(struct _Solver *solv, Id p, Id p2, Id d);
104 extern void solver_unifyrules(struct _Solver *solv);
105 extern int solver_rulecmp(struct _Solver *solv, Rule *r1, Rule *r2);
106 extern void solver_shrinkrules(struct _Solver *solv, int nrules);
109 extern void solver_addpkgrulesforsolvable(struct _Solver *solv, Solvable *s, Map *m);
110 extern void solver_addpkgrulesforweak(struct _Solver *solv, Map *m);
111 extern void solver_addpkgrulesforlinked(struct _Solver *solv, Map *m);
112 extern void solver_addpkgrulesforupdaters(struct _Solver *solv, Solvable *s, Map *m, int allow_all);
114 /* update/feature rules */
115 extern void solver_addfeaturerule(struct _Solver *solv, Solvable *s);
116 extern void solver_addupdaterule(struct _Solver *solv, Solvable *s);
119 extern void solver_addinfarchrules(struct _Solver *solv, Map *addedmap);
122 extern void solver_createdupmaps(struct _Solver *solv);
123 extern void solver_freedupmaps(struct _Solver *solv);
124 extern void solver_addduprules(struct _Solver *solv, Map *addedmap);
127 extern void solver_addchoicerules(struct _Solver *solv);
128 extern void solver_disablechoicerules(struct _Solver *solv, Rule *r);
131 extern void solver_addbestrules(struct _Solver *solv, int havebestinstalljobs);
134 extern void solver_addyumobsrules(struct _Solver *solv);
136 /* policy rule disabling/reenabling */
137 extern void solver_disablepolicyrules(struct _Solver *solv);
138 extern void solver_reenablepolicyrules(struct _Solver *solv, int jobidx);
139 extern void solver_reenablepolicyrules_cleandeps(struct _Solver *solv, Id pkg);
142 extern int solver_allruleinfos(struct _Solver *solv, Id rid, Queue *rq);
143 extern SolverRuleinfo solver_ruleinfo(struct _Solver *solv, Id rid, Id *fromp, Id *top, Id *depp);
144 extern SolverRuleinfo solver_ruleclass(struct _Solver *solv, Id rid);
145 extern void solver_ruleliterals(struct _Solver *solv, Id rid, Queue *q);
146 extern int solver_rule2jobidx(struct _Solver *solv, Id rid);
147 extern Id solver_rule2job(struct _Solver *solv, Id rid, Id *whatp);
148 extern Id solver_rule2solvable(struct _Solver *solv, Id rid);
149 extern void solver_rule2rules(struct _Solver *solv, Id rid, Queue *q, int recursive);
150 extern Id solver_rule2pkgrule(struct _Solver *solv, Id rid);
152 /* orphan handling */
153 extern void solver_breakorphans(struct _Solver *solv);
154 extern void solver_check_brokenorphanrules(struct _Solver *solv, Queue *dq);
158 #define SOLVER_RULE_RPM SOLVER_RULE_PKG
159 #define SOLVER_RULE_RPM_NOT_INSTALLABLE SOLVER_RULE_PKG_NOT_INSTALLABLE
160 #define SOLVER_RULE_RPM_NOTHING_PROVIDES_DEP SOLVER_RULE_PKG_NOTHING_PROVIDES_DEP
161 #define SOLVER_RULE_RPM_PACKAGE_REQUIRES SOLVER_RULE_PKG_REQUIRES
162 #define SOLVER_RULE_RPM_SELF_CONFLICT SOLVER_RULE_PKG_SELF_CONFLICT
163 #define SOLVER_RULE_RPM_PACKAGE_CONFLICT SOLVER_RULE_PKG_CONFLICTS
164 #define SOLVER_RULE_RPM_SAME_NAME SOLVER_RULE_PKG_SAME_NAME
165 #define SOLVER_RULE_RPM_PACKAGE_OBSOLETES SOLVER_RULE_PKG_OBSOLETES
166 #define SOLVER_RULE_RPM_IMPLICIT_OBSOLETES SOLVER_RULE_PKG_IMPLICIT_OBSOLETES
167 #define SOLVER_RULE_RPM_INSTALLEDPKG_OBSOLETES SOLVER_RULE_PKG_INSTALLED_OBSOLETES