X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=src%2Frules.h;h=17af2dfc9dbd8dcb1857f57482d679659f29d893;hb=d7f392b2f466c04078ccda3c9871b18edc0cdd86;hp=144b6833e5e7143bf71ea4d7341932cbe5731ca5;hpb=6d567daed91cd8c0ca20e3d680f0b94012fa8df3;p=platform%2Fupstream%2Flibsolv.git diff --git a/src/rules.h b/src/rules.h index 144b683..17af2df 100644 --- a/src/rules.h +++ b/src/rules.h @@ -13,10 +13,15 @@ #ifndef LIBSOLV_RULES_H #define LIBSOLV_RULES_H +#include "pooltypes.h" +#include "bitmap.h" +#include "queue.h" + #ifdef __cplusplus extern "C" { #endif + /* ---------------------------------------------- * Rule * @@ -35,7 +40,7 @@ extern "C" { * possible. Do not add new members unless there is no other way. */ -typedef struct _Rule { +typedef struct s_Rule { Id p; /* first literal in rule */ Id d; /* Id offset into 'list of providers terminated by 0' as used by whatprovides; pool->whatprovides + d */ /* in case of binary rules, d == 0, w1 == p, w2 == other literal */ @@ -48,38 +53,47 @@ typedef struct _Rule { typedef enum { SOLVER_RULE_UNKNOWN = 0, - SOLVER_RULE_RPM = 0x100, - SOLVER_RULE_RPM_NOT_INSTALLABLE, - SOLVER_RULE_RPM_NOTHING_PROVIDES_DEP, - SOLVER_RULE_RPM_PACKAGE_REQUIRES, - SOLVER_RULE_RPM_SELF_CONFLICT, - SOLVER_RULE_RPM_PACKAGE_CONFLICT, - SOLVER_RULE_RPM_SAME_NAME, - SOLVER_RULE_RPM_PACKAGE_OBSOLETES, - SOLVER_RULE_RPM_IMPLICIT_OBSOLETES, - SOLVER_RULE_RPM_INSTALLEDPKG_OBSOLETES, + SOLVER_RULE_PKG = 0x100, + SOLVER_RULE_PKG_NOT_INSTALLABLE, + SOLVER_RULE_PKG_NOTHING_PROVIDES_DEP, + SOLVER_RULE_PKG_REQUIRES, + SOLVER_RULE_PKG_SELF_CONFLICT, + SOLVER_RULE_PKG_CONFLICTS, + SOLVER_RULE_PKG_SAME_NAME, + SOLVER_RULE_PKG_OBSOLETES, + SOLVER_RULE_PKG_IMPLICIT_OBSOLETES, + SOLVER_RULE_PKG_INSTALLED_OBSOLETES, + SOLVER_RULE_PKG_RECOMMENDS, + SOLVER_RULE_PKG_CONSTRAINS, + SOLVER_RULE_PKG_SUPPLEMENTS, SOLVER_RULE_UPDATE = 0x200, SOLVER_RULE_FEATURE = 0x300, SOLVER_RULE_JOB = 0x400, SOLVER_RULE_JOB_NOTHING_PROVIDES_DEP, SOLVER_RULE_JOB_PROVIDED_BY_SYSTEM, + SOLVER_RULE_JOB_UNKNOWN_PACKAGE, + SOLVER_RULE_JOB_UNSUPPORTED, SOLVER_RULE_DISTUPGRADE = 0x500, SOLVER_RULE_INFARCH = 0x600, SOLVER_RULE_CHOICE = 0x700, SOLVER_RULE_LEARNT = 0x800, - SOLVER_RULE_BEST = 0x900 + SOLVER_RULE_BEST = 0x900, + SOLVER_RULE_YUMOBS = 0xa00, + SOLVER_RULE_RECOMMENDS = 0xb00, + SOLVER_RULE_BLACK = 0xc00, + SOLVER_RULE_STRICT_REPO_PRIORITY = 0xd00 } SolverRuleinfo; #define SOLVER_RULE_TYPEMASK 0xff00 -struct _Solver; +struct s_Solver; /*------------------------------------------------------------------- * disable rule */ static inline void -solver_disablerule(struct _Solver *solv, Rule *r) +solver_disablerule(struct s_Solver *solv, Rule *r) { if (r->d >= 0) r->d = -r->d - 1; @@ -90,52 +104,91 @@ solver_disablerule(struct _Solver *solv, Rule *r) */ static inline void -solver_enablerule(struct _Solver *solv, Rule *r) +solver_enablerule(struct s_Solver *solv, Rule *r) { if (r->d < 0) r->d = -r->d - 1; } -extern Rule *solver_addrule(struct _Solver *solv, Id p, Id d); -extern void solver_unifyrules(struct _Solver *solv); -extern int solver_rulecmp(struct _Solver *solv, Rule *r1, Rule *r2); +extern Rule *solver_addrule(struct s_Solver *solv, Id p, Id p2, Id d); +extern void solver_unifyrules(struct s_Solver *solv); +extern int solver_rulecmp(struct s_Solver *solv, Rule *r1, Rule *r2); +extern void solver_shrinkrules(struct s_Solver *solv, int nrules); -/* rpm rules */ -extern void solver_addrpmrulesforsolvable(struct _Solver *solv, Solvable *s, Map *m); -extern void solver_addrpmrulesforweak(struct _Solver *solv, Map *m); -extern void solver_addrpmrulesforupdaters(struct _Solver *solv, Solvable *s, Map *m, int allow_all); +/* pkg rules */ +extern void solver_addpkgrulesforsolvable(struct s_Solver *solv, Solvable *s, Map *m); +extern void solver_addpkgrulesforweak(struct s_Solver *solv, Map *m); +extern void solver_addpkgrulesforlinked(struct s_Solver *solv, Map *m); +extern void solver_addpkgrulesforupdaters(struct s_Solver *solv, Solvable *s, Map *m, int allow_all); /* update/feature rules */ -extern void solver_addupdaterule(struct _Solver *solv, Solvable *s, int allow_all); +extern void solver_addfeaturerule(struct s_Solver *solv, Solvable *s); +extern void solver_addupdaterule(struct s_Solver *solv, Solvable *s); /* infarch rules */ -extern void solver_addinfarchrules(struct _Solver *solv, Map *addedmap); +extern void solver_addinfarchrules(struct s_Solver *solv, Map *addedmap); /* dup rules */ -extern void solver_createdupmaps(struct _Solver *solv); -extern void solver_freedupmaps(struct _Solver *solv); -extern void solver_addduprules(struct _Solver *solv, Map *addedmap); +extern void solver_createdupmaps(struct s_Solver *solv); +extern void solver_freedupmaps(struct s_Solver *solv); +extern void solver_addduprules(struct s_Solver *solv, Map *addedmap); /* choice rules */ -extern void solver_addchoicerules(struct _Solver *solv); -extern void solver_disablechoicerules(struct _Solver *solv, Rule *r); +extern void solver_addchoicerules(struct s_Solver *solv); +extern void solver_disablechoicerules(struct s_Solver *solv, Rule *r); /* best rules */ -extern void solver_addbestrules(struct _Solver *solv, int havebestinstalljobs); +extern void solver_addbestrules(struct s_Solver *solv, int havebestinstalljobs, int haslockjob); + +/* yumobs rules */ +extern void solver_addyumobsrules(struct s_Solver *solv); + +/* black rules */ +extern void solver_addblackrules(struct s_Solver *solv); + +/* recommends rules */ +extern void solver_addrecommendsrules(struct s_Solver *solv); + +/* channel priority rules */ +extern void solver_addstrictrepopriorules(struct s_Solver *solv, Map *addedmap); /* policy rule disabling/reenabling */ -extern void solver_disablepolicyrules(struct _Solver *solv); -extern void solver_reenablepolicyrules(struct _Solver *solv, int jobidx); -extern void solver_reenablepolicyrules_cleandeps(struct _Solver *solv, Id pkg); +extern void solver_disablepolicyrules(struct s_Solver *solv); +extern void solver_reenablepolicyrules(struct s_Solver *solv, int jobidx); +extern void solver_reenablepolicyrules_cleandeps(struct s_Solver *solv, Id pkg); /* rule info */ -extern int solver_allruleinfos(struct _Solver *solv, Id rid, Queue *rq); -extern SolverRuleinfo solver_ruleinfo(struct _Solver *solv, Id rid, Id *fromp, Id *top, Id *depp); -extern SolverRuleinfo solver_ruleclass(struct _Solver *solv, Id rid); -extern void solver_ruleliterals(struct _Solver *solv, Id rid, Queue *q); -extern int solver_rule2jobidx(struct _Solver *solv, Id rid); -extern Id solver_rule2job(struct _Solver *solv, Id rid, Id *whatp); - +extern int solver_allruleinfos(struct s_Solver *solv, Id rid, Queue *rq); +extern SolverRuleinfo solver_ruleinfo(struct s_Solver *solv, Id rid, Id *fromp, Id *top, Id *depp); +extern SolverRuleinfo solver_ruleclass(struct s_Solver *solv, Id rid); +extern void solver_ruleliterals(struct s_Solver *solv, Id rid, Queue *q); +extern int solver_rule2jobidx(struct s_Solver *solv, Id rid); +extern Id solver_rule2job(struct s_Solver *solv, Id rid, Id *whatp); +extern Id solver_rule2solvable(struct s_Solver *solv, Id rid); +extern void solver_rule2rules(struct s_Solver *solv, Id rid, Queue *q, int recursive); +extern Id solver_rule2pkgrule(struct s_Solver *solv, Id rid); +extern const char *solver_ruleinfo2str(struct s_Solver *solv, SolverRuleinfo type, Id source, Id target, Id dep); + +/* rule infos for weakdep decisions */ +extern int solver_allweakdepinfos(struct s_Solver *solv, Id p, Queue *rq); +extern SolverRuleinfo solver_weakdepinfo(struct s_Solver *solv, Id p, Id *fromp, Id *top, Id *depp); + +/* orphan handling */ +extern void solver_breakorphans(struct s_Solver *solv); +extern void solver_check_brokenorphanrules(struct s_Solver *solv, Queue *dq); + + +/* legacy */ +#define SOLVER_RULE_RPM SOLVER_RULE_PKG +#define SOLVER_RULE_RPM_NOT_INSTALLABLE SOLVER_RULE_PKG_NOT_INSTALLABLE +#define SOLVER_RULE_RPM_NOTHING_PROVIDES_DEP SOLVER_RULE_PKG_NOTHING_PROVIDES_DEP +#define SOLVER_RULE_RPM_PACKAGE_REQUIRES SOLVER_RULE_PKG_REQUIRES +#define SOLVER_RULE_RPM_SELF_CONFLICT SOLVER_RULE_PKG_SELF_CONFLICT +#define SOLVER_RULE_RPM_PACKAGE_CONFLICT SOLVER_RULE_PKG_CONFLICTS +#define SOLVER_RULE_RPM_SAME_NAME SOLVER_RULE_PKG_SAME_NAME +#define SOLVER_RULE_RPM_PACKAGE_OBSOLETES SOLVER_RULE_PKG_OBSOLETES +#define SOLVER_RULE_RPM_IMPLICIT_OBSOLETES SOLVER_RULE_PKG_IMPLICIT_OBSOLETES +#define SOLVER_RULE_RPM_INSTALLEDPKG_OBSOLETES SOLVER_RULE_PKG_INSTALLED_OBSOLETES #ifdef __cplusplus }