#include <SATResolver.h>
Definition at line 66 of file SATResolver.h.
zypp::solver::detail::SATResolver::SATResolver | ( | const ResPool & | pool, | |
Pool * | SATPool | |||
) |
Definition at line 132 of file SATResolver.cc.
zypp::solver::detail::SATResolver::~SATResolver | ( | ) | [virtual] |
Definition at line 153 of file SATResolver.cc.
std::string zypp::solver::detail::SATResolver::SATprobleminfoString | ( | Id | problem, | |
std::string & | detail, | |||
Id & | ignoreId | |||
) | [private] |
Referenced by problems().
void zypp::solver::detail::SATResolver::resetItemTransaction | ( | PoolItem | item | ) | [private] |
Definition at line 168 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 587 of file SATResolver.cc.
References _distupgrade, _items_to_install, _items_to_keep, _items_to_lock, _items_to_remove, _jobQueue, _pool, _solv, zypp::ResPool::begin(), zypp::ResPoolProxy::byKindBegin(), zypp::ResPoolProxy::byKindEnd(), zypp::dumpRangeLine(), zypp::ResPool::end(), ERR, for_, zypp::ResPool::instance(), zypp::ZConfig::instance(), zypp::sat::Pool::instance(), zypp::invokeOnEach(), MIL, and zypp::ZConfig::solverUpgradeRemoveDroppedPackages().
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 416 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::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 660 of file SATResolver.cc.
References _jobQueue, and _solv.
Referenced by doUpdate(), resolvePool(), and resolveQueue().
void zypp::solver::detail::SATResolver::setLocks | ( | ) | [private] |
Definition at line 1367 of file SATResolver.cc.
References _items_to_keep, _items_to_lock, _jobQueue, zypp::ui::Selectable::get(), and MIL.
Referenced by doUpdate(), resolvePool(), and resolveQueue().
void zypp::solver::detail::SATResolver::setSystemRequirements | ( | ) | [private] |
Definition at line 1401 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(), 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 928 of file SATResolver.cc.
References _pool, zypp::ResPool::find(), mapItem(), and zypp::PoolItem::satSolvable().
Referenced by problems().
Definition at line 915 of file SATResolver.cc.
References _pool, zypp::PoolItem::buddy(), and zypp::ResPool::find().
Referenced by mapSolvable().
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 107 of file SATResolver.cc.
References _distupgrade, _distupgrade_removeunsupported, _solv, and _solveSrcPackages.
ResPool zypp::solver::detail::SATResolver::pool | ( | void | ) | const |
Definition at line 161 of file SATResolver.cc.
References _pool.
Referenced by setSystemRequirements().
void zypp::solver::detail::SATResolver::setPool | ( | const ResPool & | pool | ) | [inline] |
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 670 of file SATResolver.cc.
References _items_to_install, _items_to_remove, _jobQueue, ERR, for_, MIL, setLocks(), setSystemRequirements(), solverEnd(), solverInit(), solving(), and WAR.
bool zypp::solver::detail::SATResolver::resolveQueue | ( | const SolverQueueItemList & | requestQueue, | |
const PoolItemList & | weakItems | |||
) |
Definition at line 739 of file SATResolver.cc.
References _items_to_install, _items_to_remove, _jobQueue, ERR, MIL, setLocks(), setSystemRequirements(), solverEnd(), solverInit(), and solving().
void zypp::solver::detail::SATResolver::doUpdate | ( | ) |
Definition at line 788 of file SATResolver.cc.
References _allowarchchange, _allowdowngrade, _allowuninstall, _allowvendorchange, _distupgrade, _distupgrade_removeunsupported, _dosplitprovides, _fixsystem, _ignorealreadyrecommended, _jobQueue, _noupdateprovide, _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, solverEnd(), solverInit(), zypp::ResStatus::toBeInstalled, zypp::ResStatus::toBeUninstalled, zypp::ResStatus::toBeUninstalledDueToUpgrade, and zypp::solver::detail::vendorCheck().
ResolverProblemList zypp::solver::detail::SATResolver::problems | ( | ) |
Definition at line 1055 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, 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 | ) |
void zypp::solver::detail::SATResolver::addPoolItemToInstall | ( | PoolItem | item | ) |
Definition at line 213 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 | ) |
void zypp::solver::detail::SATResolver::addPoolItemToLock | ( | PoolItem | item | ) |
Definition at line 248 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 256 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 231 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 | ) |
bool zypp::solver::detail::SATResolver::fixsystem | ( | ) | const [inline] |
void zypp::solver::detail::SATResolver::setFixsystem | ( | const bool | fixsystem | ) | [inline] |
bool zypp::solver::detail::SATResolver::ignorealreadyrecommended | ( | ) | const [inline] |
void zypp::solver::detail::SATResolver::setIgnorealreadyrecommended | ( | const bool | ignorealreadyrecommended | ) | [inline] |
bool zypp::solver::detail::SATResolver::distupgrade | ( | ) | const [inline] |
void zypp::solver::detail::SATResolver::setDistupgrade | ( | const bool | distupgrade | ) | [inline] |
bool zypp::solver::detail::SATResolver::distupgrade_removeunsupported | ( | ) | const [inline] |
void zypp::solver::detail::SATResolver::setDistupgrade_removeunsupported | ( | const bool | distupgrade_removeunsupported | ) | [inline] |
bool zypp::solver::detail::SATResolver::allowdowngrade | ( | ) | const [inline] |
void zypp::solver::detail::SATResolver::setAllowdowngrade | ( | const bool | allowdowngrade | ) | [inline] |
bool zypp::solver::detail::SATResolver::allowarchchange | ( | ) | const [inline] |
void zypp::solver::detail::SATResolver::setAllowarchchange | ( | const bool | allowarchchange | ) | [inline] |
bool zypp::solver::detail::SATResolver::allowvendorchange | ( | ) | const [inline] |
void zypp::solver::detail::SATResolver::setAllowvendorchange | ( | const bool | allowvendorchange | ) | [inline] |
bool zypp::solver::detail::SATResolver::allowuninstall | ( | ) | const [inline] |
void zypp::solver::detail::SATResolver::setAllowuninstall | ( | const bool | allowuninstall | ) | [inline] |
bool zypp::solver::detail::SATResolver::updatesystem | ( | ) | const [inline] |
void zypp::solver::detail::SATResolver::setUpdatesystem | ( | const bool | updatesystem | ) | [inline] |
bool zypp::solver::detail::SATResolver::noupdateprovide | ( | ) | const [inline] |
void zypp::solver::detail::SATResolver::setNoupdateprovide | ( | const bool | noupdateprovide | ) | [inline] |
bool zypp::solver::detail::SATResolver::dosplitprovides | ( | ) | const [inline] |
void zypp::solver::detail::SATResolver::setDosplitprovides | ( | const bool | dosplitprovides | ) | [inline] |
bool zypp::solver::detail::SATResolver::onlyRequires | ( | ) | const [inline] |
void zypp::solver::detail::SATResolver::setOnlyRequires | ( | const bool | onlyRequires | ) | [inline] |
bool zypp::solver::detail::SATResolver::solveSrcPackages | ( | ) | const [inline] |
Definition at line 201 of file SATResolver.h.
References _solveSrcPackages.
Referenced by zypp::solver::detail::SATCollectTransact::operator()().
void zypp::solver::detail::SATResolver::setSolveSrcPackages | ( | bool | state_r | ) | [inline] |
PoolItemList zypp::solver::detail::SATResolver::problematicUpdateItems | ( | void | ) | const [inline] |
PoolItemList zypp::solver::detail::SATResolver::resultItemsToInstall | ( | ) | [inline] |
PoolItemList zypp::solver::detail::SATResolver::resultItemsToRemove | ( | ) | [inline] |
PoolItemList zypp::solver::detail::SATResolver::problematicUpdateItems | ( | void | ) | [inline] |
std::ostream& operator<< | ( | std::ostream & | str, | |
const SATResolver & | obj | |||
) | [friend] |
Definition at line 134 of file SATResolver.h.
Definition at line 69 of file SATResolver.h.
Referenced by applySolutions(), doUpdate(), mapItem(), mapSolvable(), pool(), problems(), setPool(), solverInit(), and solving().
Pool* zypp::solver::detail::SATResolver::_SATPool [private] |
Solver* zypp::solver::detail::SATResolver::_solv [private] |
Definition at line 71 of file SATResolver.h.
Referenced by doUpdate(), dumpOn(), problems(), solverEnd(), solverInit(), and solving().
Queue zypp::solver::detail::SATResolver::_jobQueue [private] |
Definition at line 72 of file SATResolver.h.
Referenced by doUpdate(), problems(), resolvePool(), resolveQueue(), setLocks(), setSystemRequirements(), solverEnd(), solverInit(), and solving().
Definition at line 78 of file SATResolver.h.
Referenced by addPoolItemToInstall(), resetItemTransaction(), resolvePool(), resolveQueue(), and solverInit().
Definition at line 79 of file SATResolver.h.
Referenced by addPoolItemToRemove(), resetItemTransaction(), resolvePool(), resolveQueue(), and solverInit().
Definition at line 80 of file SATResolver.h.
Referenced by addPoolItemToLock(), resetItemTransaction(), setLocks(), and solverInit().
Definition at line 81 of file SATResolver.h.
Referenced by addPoolItemToKeep(), resetItemTransaction(), setLocks(), and solverInit().
bool zypp::solver::detail::SATResolver::_fixsystem [private] |
Definition at line 87 of file SATResolver.h.
Referenced by doUpdate(), fixsystem(), setFixsystem(), and solving().
bool zypp::solver::detail::SATResolver::_allowdowngrade [private] |
Definition at line 88 of file SATResolver.h.
Referenced by allowdowngrade(), doUpdate(), setAllowdowngrade(), and solving().
bool zypp::solver::detail::SATResolver::_allowarchchange [private] |
Definition at line 89 of file SATResolver.h.
Referenced by allowarchchange(), doUpdate(), setAllowarchchange(), and solving().
bool zypp::solver::detail::SATResolver::_allowvendorchange [private] |
Definition at line 90 of file SATResolver.h.
Referenced by allowvendorchange(), doUpdate(), setAllowvendorchange(), and solving().
bool zypp::solver::detail::SATResolver::_allowuninstall [private] |
Definition at line 91 of file SATResolver.h.
Referenced by allowuninstall(), doUpdate(), setAllowuninstall(), and solving().
bool zypp::solver::detail::SATResolver::_updatesystem [private] |
Definition at line 92 of file SATResolver.h.
Referenced by setUpdatesystem(), solving(), and updatesystem().
bool zypp::solver::detail::SATResolver::_noupdateprovide [private] |
Definition at line 93 of file SATResolver.h.
Referenced by doUpdate(), noupdateprovide(), setNoupdateprovide(), and solving().
bool zypp::solver::detail::SATResolver::_dosplitprovides [private] |
Definition at line 94 of file SATResolver.h.
Referenced by dosplitprovides(), doUpdate(), setDosplitprovides(), and solving().
bool zypp::solver::detail::SATResolver::_onlyRequires [private] |
Definition at line 95 of file SATResolver.h.
Referenced by onlyRequires(), setOnlyRequires(), and solving().
bool zypp::solver::detail::SATResolver::_ignorealreadyrecommended [private] |
Definition at line 96 of file SATResolver.h.
Referenced by doUpdate(), ignorealreadyrecommended(), setIgnorealreadyrecommended(), and solving().
bool zypp::solver::detail::SATResolver::_distupgrade [private] |
Definition at line 97 of file SATResolver.h.
Referenced by distupgrade(), doUpdate(), dumpOn(), setDistupgrade(), setSystemRequirements(), solverInit(), and solving().
Definition at line 98 of file SATResolver.h.
Referenced by distupgrade_removeunsupported(), doUpdate(), dumpOn(), setDistupgrade_removeunsupported(), and solving().
bool zypp::solver::detail::SATResolver::_solveSrcPackages [private] |
Definition at line 99 of file SATResolver.h.
Referenced by dumpOn(), setSolveSrcPackages(), and solveSrcPackages().