zypp::solver::detail::SATResolver Class Reference

#include <SATResolver.h>

Inheritance diagram for zypp::solver::detail::SATResolver:
[legend]

List of all members.

Public Member Functions

 SATResolver (const ResPool &pool, Pool *SATPool)
virtual ~SATResolver ()
virtual std::ostream & dumpOn (std::ostream &str) const
 Overload to realize std::ostream & operator<<.
ResPool pool (void) const
void setPool (const ResPool &pool)
bool resolvePool (const CapabilitySet &requires_caps, const CapabilitySet &conflict_caps, const PoolItemList &weakItems, const std::set< Repository > &upgradeRepos)
bool resolveQueue (const SolverQueueItemList &requestQueue, const PoolItemList &weakItems)
void doUpdate ()
ResolverProblemList problems ()
void applySolutions (const ProblemSolutionList &solutions)
void addPoolItemToInstall (PoolItem item)
void addPoolItemsToInstallFromList (PoolItemList &rl)
void addPoolItemToLock (PoolItem item)
void addPoolItemToKeep (PoolItem item)
void addPoolItemToRemove (PoolItem item)
void addPoolItemsToRemoveFromList (PoolItemList &rl)
bool fixsystem () const
void setFixsystem (const bool fixsystem)
bool ignorealreadyrecommended () const
void setIgnorealreadyrecommended (const bool ignorealreadyrecommended)
bool distupgrade () const
void setDistupgrade (const bool distupgrade)
bool distupgrade_removeunsupported () const
void setDistupgrade_removeunsupported (const bool distupgrade_removeunsupported)
bool allowdowngrade () const
void setAllowdowngrade (const bool allowdowngrade)
bool allowarchchange () const
void setAllowarchchange (const bool allowarchchange)
bool allowvendorchange () const
void setAllowvendorchange (const bool allowvendorchange)
bool allowuninstall () const
void setAllowuninstall (const bool allowuninstall)
bool updatesystem () const
void setUpdatesystem (const bool updatesystem)
bool noupdateprovide () const
void setNoupdateprovide (const bool noupdateprovide)
bool dosplitprovides () const
void setDosplitprovides (const bool dosplitprovides)
bool onlyRequires () const
void setOnlyRequires (const bool onlyRequires)
bool solveSrcPackages () const
void setSolveSrcPackages (bool state_r)
PoolItemList problematicUpdateItems (void) const
PoolItemList resultItemsToInstall ()
PoolItemList resultItemsToRemove ()
PoolItemList problematicUpdateItems ()

Private Member Functions

std::string SATprobleminfoString (Id problem, std::string &detail, Id &ignoreId)
void resetItemTransaction (PoolItem item)
void solverInit (const PoolItemList &weakItems)
bool solving (const CapabilitySet &requires_caps=CapabilitySet(), const CapabilitySet &conflict_caps=CapabilitySet())
void solverEnd ()
void setLocks ()
void setSystemRequirements ()
sat::Solvable mapSolvable (const Id &id)
PoolItem mapItem (const PoolItem &item)

Private Attributes

ResPool _pool
Pool * _SATPool
Solver * _solv
Queue _jobQueue
PoolItemList _problem_items
PoolItemList _items_to_install
PoolItemList _items_to_remove
PoolItemList _items_to_lock
PoolItemList _items_to_keep
PoolItemList _result_items_to_install
PoolItemList _result_items_to_remove
bool _fixsystem
bool _allowdowngrade
bool _allowarchchange
bool _allowvendorchange
bool _allowuninstall
bool _updatesystem
bool _noupdateprovide
bool _dosplitprovides
bool _onlyRequires
bool _ignorealreadyrecommended
bool _distupgrade
bool _distupgrade_removeunsupported
bool _solveSrcPackages

Friends

std::ostream & operator<< (std::ostream &str, const SATResolver &obj)


Detailed Description

Todo:
The way solver options are passed as individual booleans from Resolver via solver::detail::Resolver to SATResolver is pedestrian and error prone. Introdce a dedicated solver option structure which is passed down as a whole.

Definition at line 66 of file SATResolver.h.


Constructor & Destructor Documentation

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.


Member Function Documentation

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]

void zypp::solver::detail::SATResolver::solverInit ( const PoolItemList weakItems  )  [private]

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]

void zypp::solver::detail::SATResolver::setSystemRequirements (  )  [private]

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().

PoolItem zypp::solver::detail::SATResolver::mapItem ( const PoolItem item  )  [private]

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]

Definition at line 138 of file SATResolver.h.

References _pool.

bool zypp::solver::detail::SATResolver::resolvePool ( const CapabilitySet requires_caps,
const CapabilitySet conflict_caps,
const PoolItemList weakItems,
const std::set< Repository > &  upgradeRepos 
)

bool zypp::solver::detail::SATResolver::resolveQueue ( const SolverQueueItemList requestQueue,
const PoolItemList weakItems 
)

void zypp::solver::detail::SATResolver::doUpdate (  ) 

ResolverProblemList zypp::solver::detail::SATResolver::problems (  ) 

void zypp::solver::detail::SATResolver::applySolutions ( const ProblemSolutionList solutions  ) 

Definition at line 1356 of file SATResolver.cc.

References _pool.

void zypp::solver::detail::SATResolver::addPoolItemToInstall ( PoolItem  item  ) 

void zypp::solver::detail::SATResolver::addPoolItemsToInstallFromList ( PoolItemList rl  ) 

Definition at line 222 of file SATResolver.cc.

References addPoolItemToInstall().

void zypp::solver::detail::SATResolver::addPoolItemToLock ( PoolItem  item  ) 

void zypp::solver::detail::SATResolver::addPoolItemToKeep ( PoolItem  item  ) 

void zypp::solver::detail::SATResolver::addPoolItemToRemove ( PoolItem  item  ) 

void zypp::solver::detail::SATResolver::addPoolItemsToRemoveFromList ( PoolItemList rl  ) 

Definition at line 240 of file SATResolver.cc.

References addPoolItemToRemove().

bool zypp::solver::detail::SATResolver::fixsystem (  )  const [inline]

Definition at line 165 of file SATResolver.h.

References _fixsystem.

void zypp::solver::detail::SATResolver::setFixsystem ( const bool  fixsystem  )  [inline]

Definition at line 166 of file SATResolver.h.

References _fixsystem.

bool zypp::solver::detail::SATResolver::ignorealreadyrecommended (  )  const [inline]

Definition at line 168 of file SATResolver.h.

References _ignorealreadyrecommended.

void zypp::solver::detail::SATResolver::setIgnorealreadyrecommended ( const bool  ignorealreadyrecommended  )  [inline]

Definition at line 169 of file SATResolver.h.

References _ignorealreadyrecommended.

bool zypp::solver::detail::SATResolver::distupgrade (  )  const [inline]

Definition at line 171 of file SATResolver.h.

References _distupgrade.

void zypp::solver::detail::SATResolver::setDistupgrade ( const bool  distupgrade  )  [inline]

Definition at line 172 of file SATResolver.h.

References _distupgrade.

bool zypp::solver::detail::SATResolver::distupgrade_removeunsupported (  )  const [inline]

Definition at line 174 of file SATResolver.h.

References _distupgrade_removeunsupported.

void zypp::solver::detail::SATResolver::setDistupgrade_removeunsupported ( const bool  distupgrade_removeunsupported  )  [inline]

Definition at line 175 of file SATResolver.h.

References _distupgrade_removeunsupported.

bool zypp::solver::detail::SATResolver::allowdowngrade (  )  const [inline]

Definition at line 177 of file SATResolver.h.

References _allowdowngrade.

void zypp::solver::detail::SATResolver::setAllowdowngrade ( const bool  allowdowngrade  )  [inline]

Definition at line 178 of file SATResolver.h.

References _allowdowngrade.

bool zypp::solver::detail::SATResolver::allowarchchange (  )  const [inline]

Definition at line 180 of file SATResolver.h.

References _allowarchchange.

void zypp::solver::detail::SATResolver::setAllowarchchange ( const bool  allowarchchange  )  [inline]

Definition at line 181 of file SATResolver.h.

References _allowarchchange.

bool zypp::solver::detail::SATResolver::allowvendorchange (  )  const [inline]

Definition at line 183 of file SATResolver.h.

References _allowvendorchange.

void zypp::solver::detail::SATResolver::setAllowvendorchange ( const bool  allowvendorchange  )  [inline]

Definition at line 184 of file SATResolver.h.

References _allowvendorchange.

bool zypp::solver::detail::SATResolver::allowuninstall (  )  const [inline]

Definition at line 186 of file SATResolver.h.

References _allowuninstall.

void zypp::solver::detail::SATResolver::setAllowuninstall ( const bool  allowuninstall  )  [inline]

Definition at line 187 of file SATResolver.h.

References _allowuninstall.

bool zypp::solver::detail::SATResolver::updatesystem (  )  const [inline]

Definition at line 189 of file SATResolver.h.

References _updatesystem.

void zypp::solver::detail::SATResolver::setUpdatesystem ( const bool  updatesystem  )  [inline]

Definition at line 190 of file SATResolver.h.

References _updatesystem.

bool zypp::solver::detail::SATResolver::noupdateprovide (  )  const [inline]

Definition at line 192 of file SATResolver.h.

References _noupdateprovide.

void zypp::solver::detail::SATResolver::setNoupdateprovide ( const bool  noupdateprovide  )  [inline]

Definition at line 193 of file SATResolver.h.

References _noupdateprovide.

bool zypp::solver::detail::SATResolver::dosplitprovides (  )  const [inline]

Definition at line 195 of file SATResolver.h.

References _dosplitprovides.

void zypp::solver::detail::SATResolver::setDosplitprovides ( const bool  dosplitprovides  )  [inline]

Definition at line 196 of file SATResolver.h.

References _dosplitprovides.

bool zypp::solver::detail::SATResolver::onlyRequires (  )  const [inline]

Definition at line 198 of file SATResolver.h.

References _onlyRequires.

void zypp::solver::detail::SATResolver::setOnlyRequires ( const bool  onlyRequires  )  [inline]

Definition at line 199 of file SATResolver.h.

References _onlyRequires.

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]

Definition at line 202 of file SATResolver.h.

References _solveSrcPackages.

PoolItemList zypp::solver::detail::SATResolver::problematicUpdateItems ( void   )  const [inline]

Definition at line 204 of file SATResolver.h.

References _problem_items.

PoolItemList zypp::solver::detail::SATResolver::resultItemsToInstall (  )  [inline]

Definition at line 206 of file SATResolver.h.

References _result_items_to_install.

PoolItemList zypp::solver::detail::SATResolver::resultItemsToRemove (  )  [inline]

Definition at line 207 of file SATResolver.h.

References _result_items_to_remove.

PoolItemList zypp::solver::detail::SATResolver::problematicUpdateItems ( void   )  [inline]

Definition at line 208 of file SATResolver.h.

References _problem_items.


Friends And Related Function Documentation

std::ostream& operator<< ( std::ostream &  str,
const SATResolver obj 
) [friend]

Definition at line 134 of file SATResolver.h.


Member Data Documentation

Definition at line 70 of file SATResolver.h.

Referenced by doUpdate(), and solving().

Definition at line 71 of file SATResolver.h.

Referenced by doUpdate(), dumpOn(), problems(), solverEnd(), solverInit(), and solving().

Definition at line 75 of file SATResolver.h.

Referenced by problematicUpdateItems(), and solving().

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().

Definition at line 84 of file SATResolver.h.

Referenced by resultItemsToInstall(), and solving().

Definition at line 85 of file SATResolver.h.

Referenced by resultItemsToRemove(), and solving().

Definition at line 87 of file SATResolver.h.

Referenced by doUpdate(), fixsystem(), setFixsystem(), and solving().

Definition at line 88 of file SATResolver.h.

Referenced by allowdowngrade(), doUpdate(), setAllowdowngrade(), and solving().

Definition at line 89 of file SATResolver.h.

Referenced by allowarchchange(), doUpdate(), setAllowarchchange(), and solving().

Definition at line 90 of file SATResolver.h.

Referenced by allowvendorchange(), doUpdate(), setAllowvendorchange(), and solving().

Definition at line 91 of file SATResolver.h.

Referenced by allowuninstall(), doUpdate(), setAllowuninstall(), and solving().

Definition at line 92 of file SATResolver.h.

Referenced by setUpdatesystem(), solving(), and updatesystem().

Definition at line 93 of file SATResolver.h.

Referenced by doUpdate(), noupdateprovide(), setNoupdateprovide(), and solving().

Definition at line 94 of file SATResolver.h.

Referenced by dosplitprovides(), doUpdate(), setDosplitprovides(), and solving().

Definition at line 95 of file SATResolver.h.

Referenced by onlyRequires(), setOnlyRequires(), and solving().

Definition at line 99 of file SATResolver.h.

Referenced by dumpOn(), setSolveSrcPackages(), and solveSrcPackages().


The documentation for this class was generated from the following files:

doxygen