#include <SATResolver.h>
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] |
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 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 598 of file SATResolver.cc.
References _distupgrade, _items_to_install, _items_to_keep, _items_to_lock, _items_to_remove, _jobQueue, _pool, zypp::ResPool::begin(), zypp::ResPoolProxy::byKindBegin(), zypp::ResPoolProxy::byKindEnd(), cleandepsOnRemove(), zypp::dumpRangeLine(), zypp::ResPool::end(), ERR, for_, zypp::ResPool::instance(), zypp::ZConfig::instance(), zypp::sat::Pool::instance(), zypp::invokeOnEach(), MIL, solverEnd(), 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 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::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 solverInit(), and ~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().
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.
References _cleandepsOnRemove, _distupgrade, _distupgrade_removeunsupported, _solv, and _solveSrcPackages.
ResPool zypp::solver::detail::SATResolver::pool | ( | void | ) | const |
Definition at line 173 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 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, 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 | ) |
sat::Transaction zypp::solver::detail::SATResolver::getTransaction | ( | ) |
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().
void zypp::solver::detail::SATResolver::addPoolItemsToInstallFromList | ( | PoolItemList & | rl | ) |
void zypp::solver::detail::SATResolver::addPoolItemToLock | ( | PoolItem | item | ) |
Definition at line 259 of file SATResolver.cc.
References _items_to_lock, and resetItemTransaction().
void zypp::solver::detail::SATResolver::addPoolItemToKeep | ( | PoolItem | item | ) |
Definition at line 267 of file SATResolver.cc.
References _items_to_keep, and resetItemTransaction().
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().
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] |
void zypp::solver::detail::SATResolver::setSolveSrcPackages | ( | bool | state_r | ) | [inline] |
bool zypp::solver::detail::SATResolver::cleandepsOnRemove | ( | ) | const [inline] |
Definition at line 213 of file SATResolver.h.
References _cleandepsOnRemove.
Referenced by solverInit().
void zypp::solver::detail::SATResolver::setCleandepsOnRemove | ( | 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 140 of file SATResolver.h.
Definition at line 74 of file SATResolver.h.
Referenced by applySolutions(), doUpdate(), pool(), problems(), setPool(), solverInit(), and solving().
Pool* zypp::solver::detail::SATResolver::_SATPool [private] |
Solver* zypp::solver::detail::SATResolver::_solv [private] |
Definition at line 76 of file SATResolver.h.
Referenced by doUpdate(), dumpOn(), getTransaction(), problems(), 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(), solverInit(), and solving().
Definition at line 83 of file SATResolver.h.
Referenced by addPoolItemToInstall(), resetItemTransaction(), resolvePool(), resolveQueue(), and solverInit().
Definition at line 84 of file SATResolver.h.
Referenced by addPoolItemToRemove(), resetItemTransaction(), resolvePool(), resolveQueue(), and solverInit().
Definition at line 85 of file SATResolver.h.
Referenced by addPoolItemToLock(), resetItemTransaction(), setLocks(), and solverInit().
Definition at line 86 of file SATResolver.h.
Referenced by addPoolItemToKeep(), resetItemTransaction(), setLocks(), and solverInit().
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(), dumpOn(), setDistupgrade(), setSystemRequirements(), solverInit(), and solving().
Definition at line 103 of file SATResolver.h.
Referenced by distupgrade_removeunsupported(), doUpdate(), dumpOn(), setDistupgrade_removeunsupported(), and solving().
bool zypp::solver::detail::SATResolver::_solveSrcPackages [private] |
Definition at line 104 of file SATResolver.h.
Referenced by dumpOn(), setSolveSrcPackages(), and solveSrcPackages().
bool zypp::solver::detail::SATResolver::_cleandepsOnRemove [private] |
Definition at line 105 of file SATResolver.h.
Referenced by cleandepsOnRemove(), dumpOn(), and setCleandepsOnRemove().