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

#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)
sat::Transaction	getTransaction ()
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
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)
bool	cleandepsOnRemove () const
void	setCleandepsOnRemove (TriBool state_r)

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 101 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 389 of file Resolver.cc.

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

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

Definition at line 170 of file Resolver.h.

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

Definition at line 171 of file Resolver.h.

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

Definition at line 172 of file Resolver.h.

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

Definition at line 173 of file Resolver.h.

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

Definition at line 174 of file Resolver.h.

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

Definition at line 159 of file Resolver.cc.

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

Definition at line 162 of file Resolver.cc.

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

Definition at line 165 of file Resolver.cc.

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

Definition at line 168 of file Resolver.cc.

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

Definition at line 171 of file Resolver.cc.

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

Definition at line 188 of file Resolver.cc.

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

Definition at line 184 of file Resolver.h.

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

Definition at line 185 of file Resolver.h.

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

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

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

Definition at line 200 of file Resolver.h.

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

Definition at line 202 of file Resolver.h.

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

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

Definition at line 205 of file Resolver.h.

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

Definition at line 206 of file Resolver.h.

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

Definition at line 208 of file Resolver.h.

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

Definition at line 209 of file Resolver.h.

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

Definition at line 211 of file Resolver.h.

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

Definition at line 213 of file Resolver.h.

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

Definition at line 214 of file Resolver.h.

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

Definition at line 216 of file Resolver.h.

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

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

Definition at line 219 of file Resolver.h.

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

Definition at line 220 of file Resolver.h.

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

Definition at line 222 of file Resolver.h.

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 )

sat::Transaction zypp::solver::detail::Resolver::getTransaction ( )

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

Member Data Documentation

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

Definition at line 104 of file Resolver.h.

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

Definition at line 105 of file Resolver.h.

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

Definition at line 106 of file Resolver.h.

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

Definition at line 108 of file Resolver.h.

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

Definition at line 109 of file Resolver.h.

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

Definition at line 110 of file Resolver.h.

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

Definition at line 113 of file Resolver.h.

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

Definition at line 117 of file Resolver.h.

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

Definition at line 120 of file Resolver.h.

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

Definition at line 121 of file Resolver.h.

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

Definition at line 122 of file Resolver.h.

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

Definition at line 123 of file Resolver.h.

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

Definition at line 126 of file Resolver.h.

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

Definition at line 127 of file Resolver.h.

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

Definition at line 128 of file Resolver.h.

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

Definition at line 130 of file Resolver.h.

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

Definition at line 135 of file Resolver.h.

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

Definition at line 136 of file Resolver.h.

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

Definition at line 139 of file Resolver.h.

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

Definition at line 140 of file Resolver.h.

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

Definition at line 141 of file Resolver.h.

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

Definition at line 142 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