#include <Resolver.h>

Inheritance diagram for zypp::solver::detail::Resolver:

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 () const
CapabilitySet	extraConflicts () const
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)
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
Friends
std::ostream &	operator<< (std::ostream &str, const Resolver &obj)
Solver flags
bool	_forceResolve
bool	_upgradeMode
bool	_updateMode
bool	_verifying
bool	_onlyRequires
bool	_allowVendorChange
bool	_solveSrcPackages
bool	_cleandepsOnRemove
bool	_ignoreAlreadyRecommended
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
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)
bool	cleandepsOnRemove () const
void	setCleandepsOnRemove (TriBool state_r)

Detailed Description

Definition at line 89 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]

Definition at line 363 of file Resolver.cc.

References zypp::sat::WhatProvides::begin(), zypp::sat::WhatProvides::end(), zypp::ResPool::find(), for_, zypp::Resolver::installedSatisfied(), zypp::ResPool::instance(), zypp::ResStatus::isBySolver(), zypp::ResStatus::isToBeInstalled(), zypp::solver::detail::ItemCapKind::item, zypp::Dep::RECOMMENDS, zypp::Dep::REQUIRES, zypp::PoolItem::status(), zypp::ResStatus::staysInstalled(), and zypp::Dep::SUPPLEMENTS.

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

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

Definition at line 267 of file Resolver.cc.

References zypp::Resolver::allowVendorChange(), zypp::Resolver::cleandepsOnRemove(), zypp::solver::detail::Testcase::createTestcase(), zypp::Resolver::forceResolve(), zypp::Resolver::ignoreAlreadyRecommended(), MIL, zypp::Resolver::onlyRequires(), and zypp::Resolver::solveSrcPackages().

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

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

Reimplemented from zypp::base::ReferenceCounted.

Definition at line 59 of file Resolver.cc.

References OUTS.

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

Definition at line 123 of file Resolver.cc.

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

Definition at line 156 of file Resolver.h.

References _pool.

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

Definition at line 158 of file Resolver.h.

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

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

Definition at line 159 of file Resolver.h.

References _upgradeRepos.

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

Definition at line 160 of file Resolver.h.

References _upgradeRepos.

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

Definition at line 161 of file Resolver.h.

References _upgradeRepos.

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

Definition at line 162 of file Resolver.h.

References _upgradeRepos.

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

Definition at line 150 of file Resolver.cc.

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

Definition at line 153 of file Resolver.cc.

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

Definition at line 156 of file Resolver.cc.

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

Definition at line 159 of file Resolver.cc.

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

Definition at line 162 of file Resolver.cc.

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

Definition at line 179 of file Resolver.cc.

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

Definition at line 172 of file Resolver.h.

References _extra_requires.

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

Definition at line 173 of file Resolver.h.

References _extra_conflicts.

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

Definition at line 196 of file Resolver.cc.

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 187 of file Resolver.h.

References _ignoreAlreadyRecommended.

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

Definition at line 188 of file Resolver.h.

References _ignoreAlreadyRecommended.

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

Definition at line 190 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 193 of file Resolver.h.

References _forceResolve.

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

Definition at line 194 of file Resolver.h.

References _forceResolve.

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

Definition at line 196 of file Resolver.h.

References _upgradeMode.

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

Definition at line 198 of file Resolver.h.

References _updateMode.

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

Definition at line 200 of file Resolver.h.

References _verifying.

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

Definition at line 201 of file Resolver.h.

References _verifying.

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

Definition at line 203 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 206 of file Resolver.h.

References _solveSrcPackages.

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

Definition at line 207 of file Resolver.h.

References _solveSrcPackages.

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

Definition at line 209 of file Resolver.h.

References _cleandepsOnRemove.

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

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 150 of file Resolver.h.

Member Data Documentation

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

Definition at line 92 of file Resolver.h.

Referenced by setPool().

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

Definition at line 93 of file Resolver.h.

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

Definition at line 94 of file Resolver.h.

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

Definition at line 96 of file Resolver.h.

Referenced by extraRequires().

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

Definition at line 97 of file Resolver.h.

Referenced by extraConflicts().

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

Definition at line 98 of file Resolver.h.

Referenced by addUpgradeRepo(), removeUpgradeRepo(), removeUpgradeRepos(), upgradeRepos(), and upgradingRepo().

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

Definition at line 101 of file Resolver.h.

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

Definition at line 105 of file Resolver.h.

Referenced by forceResolve(), and setForceResolve().

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

Definition at line 108 of file Resolver.h.

Referenced by isUpgradeMode().

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

Definition at line 109 of file Resolver.h.

Referenced by isUpdateMode().

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

Definition at line 110 of file Resolver.h.

Referenced by isVerifyingMode(), and setVerifyingMode().

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

Definition at line 111 of file Resolver.h.

Referenced by onlyRequires().

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

Definition at line 114 of file Resolver.h.

Referenced by allowVendorChange().

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

Definition at line 115 of file Resolver.h.

Referenced by setSolveSrcPackages(), and solveSrcPackages().

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

Definition at line 116 of file Resolver.h.

Referenced by cleandepsOnRemove().

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

Definition at line 118 of file Resolver.h.

Referenced by ignoreAlreadyRecommended(), and setIgnoreAlreadyRecommended().

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

Definition at line 123 of file Resolver.h.

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

Definition at line 124 of file Resolver.h.

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

Definition at line 127 of file Resolver.h.

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

Definition at line 128 of file Resolver.h.

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

Definition at line 129 of file Resolver.h.

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

Definition at line 130 of file Resolver.h.

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

zypp/solver/detail/Resolver.h
zypp/solver/detail/Resolver.cc

Public Member Functions

Private Member Functions

Private Attributes

Friends

Solver flags

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Friends And Related Function Documentation

Member Data Documentation