Go to the source code of this file.
enum SolverRuleinfo |
Definition at line 79 of file rules.h.
References _Rule::d.
Referenced by disablechoicerules(), disableduprule(), disableinfarchrule(), disableupdaterule(), enabledisablelearntrules(), findrecommendedsuggested(), makeruledecisions(), solver_disableproblem(), solver_enableproblem(), and solver_solve().
Definition at line 90 of file rules.h.
References _Rule::d.
Referenced by enabledisablelearntrules(), enableweakrules(), findrecommendedsuggested(), reenableduprule(), reenableinfarchrule(), reenableupdaterule(), refine_suggestion(), solver_disableproblem(), and solver_enableproblem().
Definition at line 257 of file rules.c.
References _Rule::d, IF_POOLDEBUG, _Rule::n1, _Rule::n2, _Solver::nrules, _Rule::p, _Solver::pool, POOL_DEBUG, _Solver::rpmrules_end, _Solver::rules, RULES_BLOCK, SAT_DEBUG_RULE_CREATION, sat_extend(), solver_printrule(), _Rule::w1, _Rule::w2, and _Pool::whatprovidesdata.
Referenced by addchoicerules(), addrpmrule(), setpropagatelearn(), solver_addduprules(), solver_addinfarchrules(), solver_addupdaterule(), and solver_solve().
void solver_unifyrules | ( | struct _Solver * | solv | ) |
Definition at line 131 of file rules.c.
References _Rule::d, IF_POOLDEBUG, _Solver::nrules, _Solver::pool, POOL_DEBUG, _Solver::rules, RULES_BLOCK, SAT_DEBUG_SCHUBI, SAT_DEBUG_STATS, sat_extend_resize(), sat_sort(), unifyrules_sortcmp(), and _Pool::whatprovidesdata.
Referenced by solver_solve().
Definition at line 118 of file rules.c.
References _Solver::pool, and unifyrules_sortcmp().
Referenced by solver_solve().
Definition at line 450 of file rules.c.
References addrpmrule(), _Pool::allowselfconflicts, _Solvable::arch, _Solvable::conflicts, _Queue::count, dep2str(), _Solvable::evr, _Solver::fixmap, _Solver::fixsystem, _Reldep::flags, FOR_PROVIDES, GETRELDEP, id2str(), _Repo::idarraydata, IF_POOLDEBUG, _Pool::implicitobsoleteusesprovides, _Solver::installed, ISRELDEP, makemultiversionconflict(), MAPSET, MAPTST, _Reldep::name, _Solvable::name, _Solver::noobsoletes, _Pool::nscallback, _Pool::nscallbackdata, _Solvable::obsoletes, _Pool::obsoleteusescolors, _Pool::obsoleteusesprovides, _Solver::pool, pool_colormatch(), POOL_DEBUG, pool_installable(), pool_match_nevr(), pool_whatprovides_ptr(), queue_free(), queue_init_buffer(), queue_push(), queue_shift(), _Solvable::recommends, REL_NAMESPACE, _Solvable::repo, _Solvable::requires, SAT_DEBUG_RULE_CREATION, SAT_DEBUG_SCHUBI, _Map::size, solvable2str(), solvable_selfprovidedep(), _Pool::solvables, SOLVER_RULE_RPM_IMPLICIT_OBSOLETES, SOLVER_RULE_RPM_NOT_INSTALLABLE, SOLVER_RULE_RPM_NOTHING_PROVIDES_DEP, SOLVER_RULE_RPM_PACKAGE_CONFLICT, SOLVER_RULE_RPM_PACKAGE_OBSOLETES, SOLVER_RULE_RPM_PACKAGE_REQUIRES, SOLVER_RULE_RPM_SAME_NAME, SOLVER_RULE_RPM_SELF_CONFLICT, solvid2str(), _Repo::start, _Solvable::suggests, SYSTEMSOLVABLE, and _Pool::whatprovidesdata.
Referenced by solver_addrpmrulesforupdaters(), solver_addrpmrulesforweak(), solver_allruleinfos(), solver_ruleinfo(), and solver_solve().
Definition at line 739 of file rules.c.
References dep_possible(), _Solvable::enhances, _Repo::idarraydata, MAPTST, _Pool::nsolvables, _Solver::pool, POOL_DEBUG, pool_installable(), _Solvable::repo, SAT_DEBUG_SCHUBI, _Pool::solvables, solver_addrpmrulesforsolvable(), and _Solvable::supplements.
Referenced by solver_solve().
Definition at line 797 of file rules.c.
References _Queue::count, _Queue::elements, MAPTST, policy_findupdatepackages(), _Solver::pool, POOL_DEBUG, queue_free(), queue_init_buffer(), SAT_DEBUG_SCHUBI, _Pool::solvables, and solver_addrpmrulesforsolvable().
Referenced by solver_solve().
Definition at line 895 of file rules.c.
References addduppackages(), _Solvable::arch, _Queue::count, _Solver::distupgrade, _Solver::dupinvolvedmap, _Queue::elements, _Repo::end, _Solvable::evr, finddistupgradepackages(), _Solver::installed, MAPTST, _Solver::multiversionupdaters, _Solvable::name, _Solver::noobsoletes, _Solver::orphaned, policy_findupdatepackages(), _Solver::pool, POOL_DEBUG, pool_queuetowhatprovides(), queue_free(), queue_init_buffer(), queue_push(), queue_shift(), _Solvable::repo, sat_calloc(), SAT_DEBUG_SCHUBI, _Map::size, _Pool::solvables, solver_addrule(), _Repo::start, SYSTEMSOLVABLE, and _Solver::updatesystem.
Referenced by solver_solve().
Definition at line 1012 of file rules.c.
References _Solvable::arch, _Queue::count, _Solver::distupgrade, _Queue::elements, FOR_PROVIDES, _Pool::id2arch, _Solver::infarchrules, _Solver::infarchrules_end, _Pool::installed, _Pool::lastarch, MAPTST, _Solvable::name, _Solver::nrules, _Pool::nsolvables, _Solver::pool, queue_empty(), queue_free(), queue_init(), queue_push(), queue_pushunique(), _Solvable::repo, _Pool::solvables, solver_addrule(), and SYSTEMSOLVABLE.
Referenced by solver_solve().
void solver_createdupmaps | ( | struct _Solver * | solv | ) |
Definition at line 1143 of file rules.c.
References _Queue::count, _Solver::dupinvolvedmap, _Solver::dupmap, _Queue::elements, FOR_PROVIDES, FOR_REPO_SOLVABLES, _Repo::idarraydata, _Solver::installed, _Solver::job, map_init(), MAPCLR, MAPSET, _Solvable::name, _Pool::nrepos, _Pool::nsolvables, _Solvable::obsoletes, _Pool::obsoleteusescolors, _Pool::obsoleteusesprovides, _Solver::pool, pool_colormatch(), pool_id2repo(), pool_installable(), pool_match_nevr(), _Solvable::repo, _Pool::solvables, SOLVER_DISTUPGRADE, SOLVER_JOBMASK, SOLVER_SELECTMASK, SOLVER_SOLVABLE_REPO, and SYSTEMSOLVABLE.
Referenced by solver_solve().
void solver_freedupmaps | ( | struct _Solver * | solv | ) |
Definition at line 1205 of file rules.c.
References _Solver::dupinvolvedmap, _Solver::dupmap, and map_free().
Referenced by solver_solve().
Definition at line 1212 of file rules.c.
References _Solver::dupinvolvedmap, _Solver::dupmap, _Solver::duprules, _Solver::duprules_end, _Repo::end, _Solvable::evr, FOR_PROVIDES, _Solver::installed, map_grow(), MAPSET, MAPTST, _Solvable::name, _Solver::nrules, _Pool::nsolvables, _Solver::pool, _Solvable::repo, _Map::size, solvable_identical(), _Pool::solvables, solver_addrule(), _Repo::start, SYSTEMSOLVABLE, and _Solver::updatemap.
Referenced by solver_solve().
void solver_disablepolicyrules | ( | struct _Solver * | solv | ) |
Definition at line 1427 of file rules.c.
References _Queue::count, _Rule::d, DISABLE_DUP, DISABLE_INFARCH, DISABLE_UPDATE, disableduprule(), disableinfarchrule(), disableupdaterule(), _Queue::elements, _Solver::job, _Solver::jobrules, jobtodisablelist(), MAPZERO, _Solver::noupdate, queue_free(), queue_init_buffer(), _Solver::rules, and _Solver::ruletojob.
Referenced by refine_suggestion(), and solver_solve().
void solver_reenablepolicyrules | ( | struct _Solver * | solv, | |
int | jobidx | |||
) |
Definition at line 1474 of file rules.c.
References _Queue::count, _Rule::d, DISABLE_DUP, DISABLE_INFARCH, DISABLE_UPDATE, _Queue::elements, _Solver::job, _Solver::jobrules, jobtodisablelist(), queue_free(), queue_init_buffer(), reenableduprule(), reenableinfarchrule(), reenableupdaterule(), _Solver::rules, and _Solver::ruletojob.
Referenced by analyze_unsolvable(), makeruledecisions(), and refine_suggestion().
Definition at line 1634 of file rules.c.
References _Queue::count, _Rule::d, _Queue::elements, _Rule::p, _Solver::pool, queue_empty(), queue_push(), queue_shift(), _Solver::rpmrules_end, _Solver::ruleinfoq, _Solver::rules, sat_sort(), _Pool::solvables, solver_addrpmrulesforsolvable(), solver_allruleinfos_cmp(), solver_ruleinfo(), and _Rule::w2.
Definition at line 1686 of file rules.c.
References _Solver::choicerules, _Queue::count, _Rule::d, _Solver::duprules, _Queue::elements, _Solver::featurerules, _Solver::infarchrules, _Solver::installed, _Solver::job, _Solver::jobrules, _Solver::learntrules, _Solvable::name, _Rule::p, _Solver::pool, queue_free(), queue_init(), queue_push(), _Solver::ruleinfoq, _Solver::rules, _Solver::ruletojob, _Pool::solvables, solver_addrpmrulesforsolvable(), SOLVER_RULE_CHOICE, SOLVER_RULE_DISTUPGRADE, SOLVER_RULE_FEATURE, SOLVER_RULE_INFARCH, SOLVER_RULE_JOB, SOLVER_RULE_JOB_NOTHING_PROVIDES_DEP, SOLVER_RULE_LEARNT, SOLVER_RULE_RPM, SOLVER_RULE_UNKNOWN, SOLVER_RULE_UPDATE, SOLVER_SELECTMASK, SOLVER_SOLVABLE_ONE_OF, _Repo::start, SYSTEMSOLVABLE, _Solver::updaterules, and _Rule::w2.
Referenced by solver_allruleinfos(), solver_printprobleminfo(), and solver_problemruleinfo().