zypp::solver::detail::Resolver Class Reference

A mid layer class we should remove. More...

#include <Resolver.h>

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

List of all members.

Public Member Functions

 Resolver (const ResPool &pool)
virtual ~Resolver ()
virtual std::ostream & dumpOn (std::ostream &str) const
 Overload to realize std::ostream & operator<<.
ResPool pool () const
void setPool (const ResPool &pool)
void addUpgradeRepo (Repository repo_r)
bool upgradingRepo (Repository repo_r) const
void removeUpgradeRepo (Repository repo_r)
void removeUpgradeRepos ()
const std::set< Repository > & upgradeRepos () const
void addExtraRequire (const Capability &capability)
void removeExtraRequire (const Capability &capability)
void addExtraConflict (const Capability &capability)
void removeExtraConflict (const Capability &capability)
void removeQueueItem (SolverQueueItem_Ptr item)
void addQueueItem (SolverQueueItem_Ptr item)
CapabilitySet extraRequires ()
CapabilitySet extraConflicts ()
void addWeak (const PoolItem &item)
bool verifySystem ()
bool resolvePool ()
bool resolveQueue (SolverQueueItemList &queue)
void doUpdate ()
bool doUpgrade ()
PoolItemList problematicUpdateItems () const
ResolverProblemList problems () const
void applySolutions (const ProblemSolutionList &solutions)
void undo ()
void reset (bool keepExtras=false)
ItemCapKindList isInstalledBy (const PoolItem &item)
ItemCapKindList installs (const PoolItem &item)
ItemCapKindList satifiedByInstalled (const PoolItem &item)
ItemCapKindList installedSatisfied (const PoolItem &item)
Solver flags
bool ignoreAlreadyRecommended () const
void setIgnoreAlreadyRecommended (bool yesno_r)
bool onlyRequires () const
void setOnlyRequires (TriBool state_r)
bool forceResolve () const
void setForceResolve (TriBool state_r)
bool isUpgradeMode () const
void setUpgradeMode (bool yesno_r)
bool isUpdateMode () const
bool isVerifyingMode () const
void setVerifyingMode (TriBool state_r)
bool allowVendorChange () const
void setAllowVendorChange (TriBool state_r)
bool solveSrcPackages () const
void setSolveSrcPackages (TriBool state_r)

Private Member Functions

void collectResolverInfo ()
bool checkUnmaintainedItems ()
void solverInit ()

Private Attributes

ResPool _pool
SATResolver_satResolver
SerialNumberWatcher _poolchanged
CapabilitySet _extra_requires
CapabilitySet _extra_conflicts
std::set< Repository_upgradeRepos
PoolItemList _addWeak
solver::detail::SolverQueueItemList _removed_queue_items
solver::detail::SolverQueueItemList _added_queue_items
ItemCapKindMap _isInstalledBy
ItemCapKindMap _installs
ItemCapKindMap _satifiedByInstalled
ItemCapKindMap _installedSatisfied
Solver flags
bool _forceResolve
bool _upgradeMode
bool _updateMode
bool _verifying
bool _onlyRequires
bool _allowVendorChange
bool _solveSrcPackages
bool _ignoreAlreadyRecommended

Friends

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


Detailed Description

A mid layer class we should remove.

Todo:
Merge this and class SATResolver. Logic and date are horribly distributed between this and SATResolver. Either SATResolver becomes a pure wrapper adapting the libsolv C interface to fit our needs, and all the solver logic and problem handling goes here; or completely merge both classes.

Definition at line 95 of file Resolver.h.


Constructor & Destructor Documentation

zypp::solver::detail::Resolver::Resolver ( const ResPool pool  ) 

virtual zypp::solver::detail::Resolver::~Resolver (  )  [virtual]


Member Function Documentation

void zypp::solver::detail::Resolver::collectResolverInfo (  )  [private]

bool zypp::solver::detail::Resolver::checkUnmaintainedItems (  )  [private]

void zypp::solver::detail::Resolver::solverInit (  )  [private]

virtual std::ostream& zypp::solver::detail::Resolver::dumpOn ( std::ostream &  str  )  const [virtual]

Overload to realize std::ostream & operator<<.

Reimplemented from zypp::base::ReferenceCounted.

ResPool zypp::solver::detail::Resolver::pool (  )  const

void zypp::solver::detail::Resolver::setPool ( const ResPool pool  )  [inline]

Definition at line 161 of file Resolver.h.

References _pool.

void zypp::solver::detail::Resolver::addUpgradeRepo ( Repository  repo_r  )  [inline]

Definition at line 163 of file Resolver.h.

References _upgradeRepos, and zypp::Repository::isSystemRepo().

bool zypp::solver::detail::Resolver::upgradingRepo ( Repository  repo_r  )  const [inline]

Definition at line 164 of file Resolver.h.

References _upgradeRepos.

void zypp::solver::detail::Resolver::removeUpgradeRepo ( Repository  repo_r  )  [inline]

Definition at line 165 of file Resolver.h.

References _upgradeRepos.

void zypp::solver::detail::Resolver::removeUpgradeRepos (  )  [inline]

Definition at line 166 of file Resolver.h.

References _upgradeRepos.

const std::set<Repository>& zypp::solver::detail::Resolver::upgradeRepos (  )  const [inline]

Definition at line 167 of file Resolver.h.

References _upgradeRepos.

void zypp::solver::detail::Resolver::addExtraRequire ( const Capability capability  ) 

void zypp::solver::detail::Resolver::removeExtraRequire ( const Capability capability  ) 

void zypp::solver::detail::Resolver::addExtraConflict ( const Capability capability  ) 

void zypp::solver::detail::Resolver::removeExtraConflict ( const Capability capability  ) 

void zypp::solver::detail::Resolver::removeQueueItem ( SolverQueueItem_Ptr  item  ) 

void zypp::solver::detail::Resolver::addQueueItem ( SolverQueueItem_Ptr  item  ) 

CapabilitySet zypp::solver::detail::Resolver::extraRequires (  )  [inline]

Definition at line 177 of file Resolver.h.

References _extra_requires.

CapabilitySet zypp::solver::detail::Resolver::extraConflicts (  )  [inline]

Definition at line 178 of file Resolver.h.

References _extra_conflicts.

void zypp::solver::detail::Resolver::addWeak ( const PoolItem item  ) 

bool zypp::solver::detail::Resolver::verifySystem (  ) 

bool zypp::solver::detail::Resolver::resolvePool (  ) 

bool zypp::solver::detail::Resolver::resolveQueue ( SolverQueueItemList queue  ) 

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

bool zypp::solver::detail::Resolver::doUpgrade (  ) 

PoolItemList zypp::solver::detail::Resolver::problematicUpdateItems (  )  const

bool zypp::solver::detail::Resolver::ignoreAlreadyRecommended (  )  const [inline]

Definition at line 192 of file Resolver.h.

References _ignoreAlreadyRecommended.

void zypp::solver::detail::Resolver::setIgnoreAlreadyRecommended ( bool  yesno_r  )  [inline]

Definition at line 193 of file Resolver.h.

References _ignoreAlreadyRecommended.

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

Definition at line 195 of file Resolver.h.

References _onlyRequires.

void zypp::solver::detail::Resolver::setOnlyRequires ( TriBool  state_r  ) 

bool zypp::solver::detail::Resolver::forceResolve (  )  const [inline]

Definition at line 198 of file Resolver.h.

References _forceResolve.

void zypp::solver::detail::Resolver::setForceResolve ( TriBool  state_r  )  [inline]

Definition at line 199 of file Resolver.h.

References _forceResolve.

bool zypp::solver::detail::Resolver::isUpgradeMode (  )  const [inline]

Definition at line 201 of file Resolver.h.

References _upgradeMode.

void zypp::solver::detail::Resolver::setUpgradeMode ( bool  yesno_r  )  [inline]

Definition at line 202 of file Resolver.h.

References _upgradeMode.

bool zypp::solver::detail::Resolver::isUpdateMode (  )  const [inline]

Definition at line 204 of file Resolver.h.

References _updateMode.

bool zypp::solver::detail::Resolver::isVerifyingMode (  )  const [inline]

Definition at line 206 of file Resolver.h.

References _verifying.

void zypp::solver::detail::Resolver::setVerifyingMode ( TriBool  state_r  )  [inline]

Definition at line 207 of file Resolver.h.

References _verifying.

bool zypp::solver::detail::Resolver::allowVendorChange (  )  const [inline]

Definition at line 209 of file Resolver.h.

References _allowVendorChange.

void zypp::solver::detail::Resolver::setAllowVendorChange ( TriBool  state_r  ) 

bool zypp::solver::detail::Resolver::solveSrcPackages (  )  const [inline]

Definition at line 212 of file Resolver.h.

References _solveSrcPackages.

void zypp::solver::detail::Resolver::setSolveSrcPackages ( TriBool  state_r  )  [inline]

Definition at line 213 of file Resolver.h.

References _solveSrcPackages.

ResolverProblemList zypp::solver::detail::Resolver::problems (  )  const

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

void zypp::solver::detail::Resolver::undo (  ) 

void zypp::solver::detail::Resolver::reset ( bool  keepExtras = false  ) 

ItemCapKindList zypp::solver::detail::Resolver::isInstalledBy ( const PoolItem item  ) 

ItemCapKindList zypp::solver::detail::Resolver::installs ( const PoolItem item  ) 

ItemCapKindList zypp::solver::detail::Resolver::satifiedByInstalled ( const PoolItem item  ) 

ItemCapKindList zypp::solver::detail::Resolver::installedSatisfied ( const PoolItem item  ) 


Friends And Related Function Documentation

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

Definition at line 155 of file Resolver.h.


Member Data Documentation

ResPool zypp::solver::detail::Resolver::_pool [private]

Definition at line 98 of file Resolver.h.

Referenced by setPool().

SATResolver* zypp::solver::detail::Resolver::_satResolver [private]

Definition at line 99 of file Resolver.h.

SerialNumberWatcher zypp::solver::detail::Resolver::_poolchanged [private]

Definition at line 100 of file Resolver.h.

CapabilitySet zypp::solver::detail::Resolver::_extra_requires [private]

Definition at line 102 of file Resolver.h.

Referenced by extraRequires().

CapabilitySet zypp::solver::detail::Resolver::_extra_conflicts [private]

Definition at line 103 of file Resolver.h.

Referenced by extraConflicts().

std::set<Repository> zypp::solver::detail::Resolver::_upgradeRepos [private]

PoolItemList zypp::solver::detail::Resolver::_addWeak [private]

Definition at line 107 of file Resolver.h.

bool zypp::solver::detail::Resolver::_forceResolve [private]

Definition at line 111 of file Resolver.h.

Referenced by forceResolve(), and setForceResolve().

bool zypp::solver::detail::Resolver::_upgradeMode [private]

Definition at line 114 of file Resolver.h.

Referenced by isUpgradeMode(), and setUpgradeMode().

bool zypp::solver::detail::Resolver::_updateMode [private]

Definition at line 115 of file Resolver.h.

Referenced by isUpdateMode().

bool zypp::solver::detail::Resolver::_verifying [private]

Definition at line 116 of file Resolver.h.

Referenced by isVerifyingMode(), and setVerifyingMode().

bool zypp::solver::detail::Resolver::_onlyRequires [private]

Definition at line 117 of file Resolver.h.

Referenced by onlyRequires().

bool zypp::solver::detail::Resolver::_allowVendorChange [private]

Definition at line 120 of file Resolver.h.

Referenced by allowVendorChange().

bool zypp::solver::detail::Resolver::_solveSrcPackages [private]

Definition at line 121 of file Resolver.h.

Referenced by setSolveSrcPackages(), and solveSrcPackages().

bool zypp::solver::detail::Resolver::_ignoreAlreadyRecommended [private]

Definition at line 123 of file Resolver.h.

Referenced by ignoreAlreadyRecommended(), and setIgnoreAlreadyRecommended().

solver::detail::SolverQueueItemList zypp::solver::detail::Resolver::_removed_queue_items [private]

Definition at line 128 of file Resolver.h.

solver::detail::SolverQueueItemList zypp::solver::detail::Resolver::_added_queue_items [private]

Definition at line 129 of file Resolver.h.

ItemCapKindMap zypp::solver::detail::Resolver::_isInstalledBy [private]

Definition at line 132 of file Resolver.h.

ItemCapKindMap zypp::solver::detail::Resolver::_installs [private]

Definition at line 133 of file Resolver.h.

ItemCapKindMap zypp::solver::detail::Resolver::_satifiedByInstalled [private]

Definition at line 134 of file Resolver.h.

ItemCapKindMap zypp::solver::detail::Resolver::_installedSatisfied [private]

Definition at line 135 of file Resolver.h.


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

doxygen