libzypp 9.41.1
|
#include <SATResolver.h>
Introdce a dedicated solver option structure which is passed down as a whole.
Definition at line 71 of file SATResolver.h.
zypp::solver::detail::SATResolver::SATResolver | ( | const ResPool & | pool, |
Pool * | SATPool | ||
) |
Definition at line 136 of file SATResolver.cc.
zypp::solver::detail::SATResolver::~SATResolver | ( | ) | [virtual] |
Definition at line 158 of file SATResolver.cc.
References solverEnd().
string zypp::solver::detail::SATResolver::SATprobleminfoString | ( | Id | problem, |
std::string & | detail, | ||
Id & | ignoreId | ||
) | [private] |
Definition at line 942 of file SATResolver.cc.
References _, _solv, zypp::sat::Solvable::asString(), zypp::sat::WhatProvides::begin(), zypp::sat::WhatProvides::end(), zypp::ResPool::find(), for_, zypp::str::form(), zypp::ResPool::instance(), zypp::ResStatus::isInstalled(), zypp::ResStatus::isUninstalled(), zypp::solver::detail::itemToString(), mapItem(), mapSolvable(), pool(), zypp::PoolItem::resolvable(), and zypp::PoolItem::status().
Referenced by problems().
void zypp::solver::detail::SATResolver::resetItemTransaction | ( | PoolItem | item | ) | [private] |
Definition at line 179 of file SATResolver.cc.
References _items_to_install, _items_to_keep, _items_to_lock, and _items_to_remove.
Referenced by addPoolItemToInstall(), addPoolItemToKeep(), addPoolItemToLock(), and addPoolItemToRemove().
void zypp::solver::detail::SATResolver::solverInit | ( | const PoolItemList & | weakItems | ) | [private] |
Definition at line 276 of file Resolver.cc.
References zypp::solver::detail::Testcase::createTestcase(), and MIL.
Referenced by doUpdate(), resolvePool(), and resolveQueue().
bool zypp::solver::detail::SATResolver::solving | ( | const CapabilitySet & | requires_caps = CapabilitySet() , |
const CapabilitySet & | conflict_caps = CapabilitySet() |
||
) | [private] |
Definition at line 427 of file SATResolver.cc.
References _allowarchchange, _allowdowngrade, _allowuninstall, _allowvendorchange, _distupgrade, _distupgrade_removeunsupported, _dosplitprovides, _fixsystem, _ignorealreadyrecommended, _jobQueue, _noupdateprovide, _onlyRequires, _pool, _problem_items, _result_items_to_install, _result_items_to_remove, _SATPool, _solv, _updatesystem, _XDEBUG, zypp::ResStatus::APPL_LOW, zypp::sat::WhatProvides::begin(), zypp::ResPool::begin(), zypp::ResPool::byIdentBegin(), zypp::ResPool::byIdentEnd(), zypp::sat::WhatProvides::end(), zypp::ResPool::end(), ERR, zypp::ResPool::find(), for_, zypp::solver::detail::getPoolItem(), zypp::sat::Pool::instance(), zypp::invokeOnEach(), zypp::solver::detail::CheckIfUpdate::is_updated, zypp::sat::Solvable::isSystem(), zypp::ResStatus::isToBeInstalled(), zypp::ResStatus::isToBeUninstalled(), MIL, zypp::solver::detail::SATSolutionToPool(), zypp::ResStatus::setBroken(), zypp::ResStatus::setNonRelevant(), zypp::ResStatus::setOrphaned(), zypp::ResStatus::setRecommended(), zypp::ResStatus::setSatisfied(), zypp::ResStatus::setSuggested(), zypp::ResStatus::setToBeUninstalledDueToObsolete(), zypp::ResStatus::setTransactByValue(), zypp::ResStatus::setUndetermined(), zypp::Repository::solvablesBegin(), zypp::Repository::solvablesEmpty(), zypp::Repository::solvablesEnd(), zypp::ResStatus::SOLVER, zypp::PoolItem::status(), zypp::ResStatus::toBeInstalled, zypp::ResStatus::toBeUninstalled, zypp::ResStatus::toBeUninstalledDueToUpgrade, and zypp::solver::detail::vendorCheck().
Referenced by resolvePool(), and resolveQueue().
void zypp::solver::detail::SATResolver::solverEnd | ( | ) | [private] |
Definition at line 677 of file SATResolver.cc.
References _jobQueue, and _solv.
Referenced by ~SATResolver().
void zypp::solver::detail::SATResolver::setLocks | ( | ) | [private] |
Definition at line 1380 of file SATResolver.cc.
References _items_to_keep, _items_to_lock, _jobQueue, zypp::ui::Selectable::get(), MAYBE_CLEANDEPS, and MIL.
Referenced by doUpdate(), resolvePool(), and resolveQueue().
void zypp::solver::detail::SATResolver::setSystemRequirements | ( | ) | [private] |
Definition at line 1414 of file SATResolver.cc.
References _distupgrade, _jobQueue, zypp::ResPool::byIdentBegin(), zypp::ResPool::byIdentEnd(), zypp::IdString::c_str(), zypp::SystemCheck::conflictSystemCap(), for_, zypp::ResPool::instance(), zypp::ZConfig::instance(), zypp::SystemCheck::instance(), MAYBE_CLEANDEPS, MIL, zypp::Capability::PARSED, pool(), zypp::SystemCheck::requiredSystemCap(), and zypp::ZConfig::systemRoot().
Referenced by doUpdate(), resolvePool(), and resolveQueue().
sat::Solvable zypp::solver::detail::SATResolver::mapSolvable | ( | const Id & | id | ) | [private] |
Definition at line 939 of file SATResolver.cc.
References zypp::solver::detail::mapBuddy().
Referenced by problems(), and SATprobleminfoString().
Definition at line 936 of file SATResolver.cc.
References zypp::solver::detail::mapBuddy().
Referenced by SATprobleminfoString().
std::ostream & zypp::solver::detail::SATResolver::dumpOn | ( | std::ostream & | str | ) | const [virtual] |
Overload to realize std::ostream & operator<<.
Reimplemented from zypp::base::ReferenceCounted.
Definition at line 110 of file SATResolver.cc.
ResPool zypp::solver::detail::SATResolver::pool | ( | void | ) | const |
Definition at line 173 of file SATResolver.cc.
References _pool.
Referenced by problems(), SATprobleminfoString(), setPool(), and setSystemRequirements().
void zypp::solver::detail::SATResolver::setPool | ( | const ResPool & | pool | ) | [inline] |
Definition at line 144 of file SATResolver.h.
bool zypp::solver::detail::SATResolver::resolvePool | ( | const CapabilitySet & | requires_caps, |
const CapabilitySet & | conflict_caps, | ||
const PoolItemList & | weakItems, | ||
const std::set< Repository > & | upgradeRepos | ||
) |
Definition at line 690 of file SATResolver.cc.
References _items_to_install, _items_to_remove, _jobQueue, ERR, for_, MAYBE_CLEANDEPS, MIL, setLocks(), setSystemRequirements(), solverInit(), solving(), and WAR.
bool zypp::solver::detail::SATResolver::resolveQueue | ( | const SolverQueueItemList & | requestQueue, |
const PoolItemList & | weakItems | ||
) |
Definition at line 756 of file SATResolver.cc.
References _items_to_install, _items_to_remove, _jobQueue, ERR, MAYBE_CLEANDEPS, MIL, setLocks(), setSystemRequirements(), solverInit(), and solving().
void zypp::solver::detail::SATResolver::doUpdate | ( | ) |
Definition at line 801 of file SATResolver.cc.
References _allowarchchange, _allowdowngrade, _allowuninstall, _allowvendorchange, _distupgrade, _distupgrade_removeunsupported, _dosplitprovides, _fixsystem, _ignorealreadyrecommended, _jobQueue, _noupdateprovide, _onlyRequires, _pool, _SATPool, _solv, zypp::ResPool::byIdentBegin(), zypp::ResPool::byIdentEnd(), ERR, zypp::ResPool::find(), zypp::sat::Pool::instance(), zypp::invokeOnEach(), zypp::solver::detail::CheckIfUpdate::is_updated, MIL, zypp::solver::detail::SATSolutionToPool(), setLocks(), setSystemRequirements(), zypp::ResStatus::SOLVER, solverInit(), zypp::ResStatus::toBeInstalled, zypp::ResStatus::toBeUninstalled, zypp::ResStatus::toBeUninstalledDueToUpgrade, and zypp::solver::detail::vendorCheck().
ResolverProblemList zypp::solver::detail::SATResolver::problems | ( | ) |
Definition at line 1068 of file SATResolver.cc.
References _, _jobQueue, _pool, _solv, zypp::solver::detail::ProblemSolutionCombi::actionCount(), zypp::solver::detail::ProblemSolutionCombi::addDescription(), zypp::solver::detail::ProblemSolutionCombi::addFrontDescription(), zypp::solver::detail::ProblemSolutionCombi::addSingleAction(), zypp::IdString::asString(), zypp::sat::Solvable::asString(), zypp::ResPool::byIdentBegin(), zypp::ResPool::byIdentEnd(), zypp::IdString::c_str(), zypp::functor::chain(), zypp::SystemCheck::conflictSystemCap(), ERR, zypp::ResPool::find(), zypp::str::form(), zypp::sat::Solvable::get(), zypp::solver::detail::INSTALL, zypp::SystemCheck::instance(), zypp::invokeOnEach(), zypp::solver::detail::itemToString(), zypp::solver::detail::KEEP, zypp::solver::detail::LOCK, mapSolvable(), MIL, pool(), zypp::solver::detail::REMOVE, zypp::solver::detail::REMOVE_EXTRA_CONFLICT, zypp::solver::detail::REMOVE_EXTRA_REQUIRE, zypp::solver::detail::REMOVE_SOLVE_QUEUE_ITEM, zypp::SystemCheck::requiredSystemCap(), SATprobleminfoString(), zypp::solver::detail::UNLOCK, and zypp::sat::Solvable::vendor().
void zypp::solver::detail::SATResolver::applySolutions | ( | const ProblemSolutionList & | solutions | ) |
Definition at line 1369 of file SATResolver.cc.
References _pool.
sat::Transaction zypp::solver::detail::SATResolver::getTransaction | ( | ) |
Definition at line 165 of file SATResolver.cc.
References _solv.
void zypp::solver::detail::SATResolver::addPoolItemToInstall | ( | PoolItem | item | ) |
Definition at line 224 of file SATResolver.cc.
References _items_to_install, and resetItemTransaction().
Referenced by addPoolItemsToInstallFromList(), and zypp::solver::detail::SATCollectTransact::operator()().
void zypp::solver::detail::SATResolver::addPoolItemsToInstallFromList | ( | PoolItemList & | rl | ) |
Definition at line 233 of file SATResolver.cc.
References addPoolItemToInstall().
void zypp::solver::detail::SATResolver::addPoolItemToLock | ( | PoolItem | item | ) |
Definition at line 259 of file SATResolver.cc.
References _items_to_lock, and resetItemTransaction().
Referenced by zypp::solver::detail::SATCollectTransact::operator()().
void zypp::solver::detail::SATResolver::addPoolItemToKeep | ( | PoolItem | item | ) |
Definition at line 267 of file SATResolver.cc.
References _items_to_keep, and resetItemTransaction().
Referenced by zypp::solver::detail::SATCollectTransact::operator()().
void zypp::solver::detail::SATResolver::addPoolItemToRemove | ( | PoolItem | item | ) |
Definition at line 242 of file SATResolver.cc.
References _items_to_remove, and resetItemTransaction().
Referenced by addPoolItemsToRemoveFromList(), and zypp::solver::detail::SATCollectTransact::operator()().
void zypp::solver::detail::SATResolver::addPoolItemsToRemoveFromList | ( | PoolItemList & | rl | ) |
Definition at line 251 of file SATResolver.cc.
References addPoolItemToRemove().
bool zypp::solver::detail::SATResolver::fixsystem | ( | ) | const [inline] |
void zypp::solver::detail::SATResolver::setFixsystem | ( | const bool | fixsystem | ) | [inline] |
Definition at line 175 of file SATResolver.h.
References _fixsystem, and fixsystem().
bool zypp::solver::detail::SATResolver::ignorealreadyrecommended | ( | ) | const [inline] |
Definition at line 177 of file SATResolver.h.
References _ignorealreadyrecommended.
Referenced by setIgnorealreadyrecommended().
void zypp::solver::detail::SATResolver::setIgnorealreadyrecommended | ( | const bool | ignorealreadyrecommended | ) | [inline] |
Definition at line 178 of file SATResolver.h.
References _ignorealreadyrecommended, and ignorealreadyrecommended().
bool zypp::solver::detail::SATResolver::distupgrade | ( | ) | const [inline] |
Definition at line 180 of file SATResolver.h.
References _distupgrade.
Referenced by setDistupgrade().
void zypp::solver::detail::SATResolver::setDistupgrade | ( | const bool | distupgrade | ) | [inline] |
Definition at line 181 of file SATResolver.h.
References _distupgrade, and distupgrade().
bool zypp::solver::detail::SATResolver::distupgrade_removeunsupported | ( | ) | const [inline] |
Definition at line 183 of file SATResolver.h.
References _distupgrade_removeunsupported.
Referenced by setDistupgrade_removeunsupported().
void zypp::solver::detail::SATResolver::setDistupgrade_removeunsupported | ( | const bool | distupgrade_removeunsupported | ) | [inline] |
Definition at line 184 of file SATResolver.h.
References _distupgrade_removeunsupported, and distupgrade_removeunsupported().
bool zypp::solver::detail::SATResolver::allowdowngrade | ( | ) | const [inline] |
Definition at line 186 of file SATResolver.h.
References _allowdowngrade.
Referenced by setAllowdowngrade().
void zypp::solver::detail::SATResolver::setAllowdowngrade | ( | const bool | allowdowngrade | ) | [inline] |
Definition at line 187 of file SATResolver.h.
References _allowdowngrade, and allowdowngrade().
bool zypp::solver::detail::SATResolver::allowarchchange | ( | ) | const [inline] |
Definition at line 189 of file SATResolver.h.
References _allowarchchange.
Referenced by setAllowarchchange().
void zypp::solver::detail::SATResolver::setAllowarchchange | ( | const bool | allowarchchange | ) | [inline] |
Definition at line 190 of file SATResolver.h.
References _allowarchchange, and allowarchchange().
bool zypp::solver::detail::SATResolver::allowvendorchange | ( | ) | const [inline] |
Definition at line 192 of file SATResolver.h.
References _allowvendorchange.
Referenced by setAllowvendorchange().
void zypp::solver::detail::SATResolver::setAllowvendorchange | ( | const bool | allowvendorchange | ) | [inline] |
Definition at line 193 of file SATResolver.h.
References _allowvendorchange, and allowvendorchange().
bool zypp::solver::detail::SATResolver::allowuninstall | ( | ) | const [inline] |
Definition at line 195 of file SATResolver.h.
References _allowuninstall.
Referenced by setAllowuninstall().
void zypp::solver::detail::SATResolver::setAllowuninstall | ( | const bool | allowuninstall | ) | [inline] |
Definition at line 196 of file SATResolver.h.
References _allowuninstall, and allowuninstall().
bool zypp::solver::detail::SATResolver::updatesystem | ( | ) | const [inline] |
Definition at line 198 of file SATResolver.h.
References _updatesystem.
Referenced by setUpdatesystem().
void zypp::solver::detail::SATResolver::setUpdatesystem | ( | const bool | updatesystem | ) | [inline] |
Definition at line 199 of file SATResolver.h.
References _updatesystem, and updatesystem().
bool zypp::solver::detail::SATResolver::noupdateprovide | ( | ) | const [inline] |
Definition at line 201 of file SATResolver.h.
References _noupdateprovide.
Referenced by setNoupdateprovide().
void zypp::solver::detail::SATResolver::setNoupdateprovide | ( | const bool | noupdateprovide | ) | [inline] |
Definition at line 202 of file SATResolver.h.
References _noupdateprovide, and noupdateprovide().
bool zypp::solver::detail::SATResolver::dosplitprovides | ( | ) | const [inline] |
Definition at line 204 of file SATResolver.h.
References _dosplitprovides.
Referenced by setDosplitprovides().
void zypp::solver::detail::SATResolver::setDosplitprovides | ( | const bool | dosplitprovides | ) | [inline] |
Definition at line 205 of file SATResolver.h.
References _dosplitprovides, and dosplitprovides().
bool zypp::solver::detail::SATResolver::onlyRequires | ( | ) | const [inline] |
Definition at line 207 of file SATResolver.h.
References _onlyRequires.
Referenced by setOnlyRequires().
void zypp::solver::detail::SATResolver::setOnlyRequires | ( | const bool | onlyRequires | ) | [inline] |
Definition at line 208 of file SATResolver.h.
References _onlyRequires, and onlyRequires().
bool zypp::solver::detail::SATResolver::solveSrcPackages | ( | ) | const [inline] |
Definition at line 210 of file SATResolver.h.
References _solveSrcPackages.
Referenced by zypp::solver::detail::SATCollectTransact::operator()().
void zypp::solver::detail::SATResolver::setSolveSrcPackages | ( | bool | state_r | ) | [inline] |
Definition at line 211 of file SATResolver.h.
References _solveSrcPackages.
bool zypp::solver::detail::SATResolver::cleandepsOnRemove | ( | ) | const [inline] |
Definition at line 213 of file SATResolver.h.
References _cleandepsOnRemove.
void zypp::solver::detail::SATResolver::setCleandepsOnRemove | ( | bool | state_r | ) | [inline] |
Definition at line 214 of file SATResolver.h.
References _cleandepsOnRemove.
PoolItemList zypp::solver::detail::SATResolver::problematicUpdateItems | ( | void | ) | const [inline] |
Definition at line 216 of file SATResolver.h.
References _problem_items.
PoolItemList zypp::solver::detail::SATResolver::resultItemsToInstall | ( | ) | [inline] |
Definition at line 218 of file SATResolver.h.
References _result_items_to_install.
PoolItemList zypp::solver::detail::SATResolver::resultItemsToRemove | ( | ) | [inline] |
Definition at line 219 of file SATResolver.h.
References _result_items_to_remove.
PoolItemList zypp::solver::detail::SATResolver::problematicUpdateItems | ( | void | ) | [inline] |
Definition at line 220 of file SATResolver.h.
References _problem_items.
std::ostream& operator<< | ( | std::ostream & | str, |
const SATResolver & | obj | ||
) | [friend] |
Definition at line 140 of file SATResolver.h.
Definition at line 74 of file SATResolver.h.
Referenced by applySolutions(), doUpdate(), pool(), problems(), setPool(), and solving().
Pool* zypp::solver::detail::SATResolver::_SATPool [private] |
Definition at line 75 of file SATResolver.h.
Referenced by doUpdate(), and solving().
Solver* zypp::solver::detail::SATResolver::_solv [private] |
Definition at line 76 of file SATResolver.h.
Referenced by doUpdate(), getTransaction(), problems(), SATprobleminfoString(), solverEnd(), and solving().
Queue zypp::solver::detail::SATResolver::_jobQueue [private] |
Definition at line 77 of file SATResolver.h.
Referenced by doUpdate(), problems(), resolvePool(), resolveQueue(), setLocks(), setSystemRequirements(), solverEnd(), and solving().
Definition at line 80 of file SATResolver.h.
Referenced by problematicUpdateItems(), and solving().
Definition at line 83 of file SATResolver.h.
Referenced by addPoolItemToInstall(), resetItemTransaction(), resolvePool(), and resolveQueue().
Definition at line 84 of file SATResolver.h.
Referenced by addPoolItemToRemove(), resetItemTransaction(), resolvePool(), and resolveQueue().
Definition at line 85 of file SATResolver.h.
Referenced by addPoolItemToLock(), resetItemTransaction(), and setLocks().
Definition at line 86 of file SATResolver.h.
Referenced by addPoolItemToKeep(), resetItemTransaction(), and setLocks().
Definition at line 89 of file SATResolver.h.
Referenced by resultItemsToInstall(), and solving().
Definition at line 90 of file SATResolver.h.
Referenced by resultItemsToRemove(), and solving().
bool zypp::solver::detail::SATResolver::_fixsystem [private] |
Definition at line 92 of file SATResolver.h.
Referenced by doUpdate(), fixsystem(), setFixsystem(), and solving().
bool zypp::solver::detail::SATResolver::_allowdowngrade [private] |
Definition at line 93 of file SATResolver.h.
Referenced by allowdowngrade(), doUpdate(), setAllowdowngrade(), and solving().
bool zypp::solver::detail::SATResolver::_allowarchchange [private] |
Definition at line 94 of file SATResolver.h.
Referenced by allowarchchange(), doUpdate(), setAllowarchchange(), and solving().
bool zypp::solver::detail::SATResolver::_allowvendorchange [private] |
Definition at line 95 of file SATResolver.h.
Referenced by allowvendorchange(), doUpdate(), setAllowvendorchange(), and solving().
bool zypp::solver::detail::SATResolver::_allowuninstall [private] |
Definition at line 96 of file SATResolver.h.
Referenced by allowuninstall(), doUpdate(), setAllowuninstall(), and solving().
bool zypp::solver::detail::SATResolver::_updatesystem [private] |
Definition at line 97 of file SATResolver.h.
Referenced by setUpdatesystem(), solving(), and updatesystem().
bool zypp::solver::detail::SATResolver::_noupdateprovide [private] |
Definition at line 98 of file SATResolver.h.
Referenced by doUpdate(), noupdateprovide(), setNoupdateprovide(), and solving().
bool zypp::solver::detail::SATResolver::_dosplitprovides [private] |
Definition at line 99 of file SATResolver.h.
Referenced by dosplitprovides(), doUpdate(), setDosplitprovides(), and solving().
bool zypp::solver::detail::SATResolver::_onlyRequires [private] |
Definition at line 100 of file SATResolver.h.
Referenced by doUpdate(), onlyRequires(), setOnlyRequires(), and solving().
bool zypp::solver::detail::SATResolver::_ignorealreadyrecommended [private] |
Definition at line 101 of file SATResolver.h.
Referenced by doUpdate(), ignorealreadyrecommended(), setIgnorealreadyrecommended(), and solving().
bool zypp::solver::detail::SATResolver::_distupgrade [private] |
Definition at line 102 of file SATResolver.h.
Referenced by distupgrade(), doUpdate(), setDistupgrade(), setSystemRequirements(), and solving().
Definition at line 103 of file SATResolver.h.
Referenced by distupgrade_removeunsupported(), doUpdate(), setDistupgrade_removeunsupported(), and solving().
bool zypp::solver::detail::SATResolver::_solveSrcPackages [private] |
Definition at line 104 of file SATResolver.h.
Referenced by setSolveSrcPackages(), and solveSrcPackages().
bool zypp::solver::detail::SATResolver::_cleandepsOnRemove [private] |
Definition at line 105 of file SATResolver.h.
Referenced by cleandepsOnRemove(), and setCleandepsOnRemove().