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)
Public Member Functions inherited from zypp::base::ReferenceCounted
	ReferenceCounted ()
	Default ctor.
	ReferenceCounted (const ReferenceCounted &rhs)
	Copy ctor.
virtual	~ReferenceCounted ()
	Dtor.
ReferenceCounted &	operator= (const ReferenceCounted &)
	Assignment.
unsigned	refCount () const
	Return reference counter value.
void	ref () const
	Add a reference.
void	unref () const
	Release a reference.

Private Member Functions
void	collectResolverInfo ()
bool	checkUnmaintainedItems ()
void	solverInit ()

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)

Additional Inherited Members
Static Public Member Functions inherited from zypp::base::ReferenceCounted
static void	add_ref (const ReferenceCounted *ptr_r)
	Called by zypp::intrusive_ptr to add a reference.
static void	release (const ReferenceCounted *ptr_r)
	Called by zypp::intrusive_ptr to add a reference.
Protected Member Functions inherited from zypp::base::ReferenceCounted
virtual void	ref_to (unsigned) const
	Trigger derived classes after refCount was increased.
virtual void	unref_to (unsigned) const
	Trigger derived classes after refCount was decreased.
Related Functions inherited from zypp::base::ReferenceCounted
void	intrusive_ptr_add_ref (const ReferenceCounted *ptr_r)
void	intrusive_ptr_release (const ReferenceCounted *ptr_r)
std::ostream &	operator<< (std::ostream &str, const ReferenceCounted &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 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 387 of file Resolver.cc.

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

private

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

private

Definition at line 276 of file Resolver.cc.

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

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

Definition at line 125 of file Resolver.cc.

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

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

Public Member Functions

Private Member Functions

Private Attributes

Friends

Solver flags

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Friends And Related Function Documentation

Member Data Documentation