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

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<<. More...
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. More...
	ReferenceCounted (const ReferenceCounted &rhs)
	Copy ctor. More...
virtual	~ReferenceCounted ()
	Dtor. More...
ReferenceCounted &	operator= (const ReferenceCounted &)
	Assignment. More...
unsigned	refCount () const
	Return reference counter value. More...
void	ref () const
	Add a reference. More...
void	unref () const
	Release a reference. More...

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)

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. More...
static void	release (const ReferenceCounted *ptr_r)
	Called by zypp::intrusive_ptr to add a reference. More...
Protected Member Functions inherited from zypp::base::ReferenceCounted
virtual void	ref_to (unsigned) const
	Trigger derived classes after refCount was increased. More...
virtual void	unref_to (unsigned) const
	Trigger derived classes after refCount was decreased. More...
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

)

Definition at line 81 of file Resolver.cc.

zypp::solver::detail::Resolver::~Resolver ( )

virtual

Definition at line 101 of file Resolver.cc.

Member Function Documentation

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

private

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

(

)

Definition at line 240 of file Resolver.cc.

bool zypp::solver::detail::Resolver::resolvePool

(

)

Definition at line 317 of file Resolver.cc.

bool zypp::solver::detail::Resolver::resolveQueue

(

SolverQueueItemList &

queue

)

Definition at line 323 of file Resolver.cc.

void zypp::solver::detail::Resolver::doUpdate

(

)

Definition at line 150 of file Resolver.cc.

bool zypp::solver::detail::Resolver::doUpgrade

(

)

Definition at line 143 of file Resolver.cc.

PoolItemList zypp::solver::detail::Resolver::problematicUpdateItems

(

)

const

Definition at line 156 of file Resolver.cc.

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

)

Definition at line 113 of file Resolver.cc.

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

)

Definition at line 108 of file Resolver.cc.

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

)

Definition at line 118 of file Resolver.cc.

ResolverProblemList zypp::solver::detail::Resolver::problems

(

)

const

Definition at line 374 of file Resolver.cc.

void zypp::solver::detail::Resolver::applySolutions

(

const ProblemSolutionList &

solutions

)

Definition at line 380 of file Resolver.cc.

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

(

)

Definition at line 362 of file Resolver.cc.

void zypp::solver::detail::Resolver::undo

(

)

Definition at line 259 of file Resolver.cc.

void zypp::solver::detail::Resolver::reset

(

bool

keepExtras = false

)

Definition at line 128 of file Resolver.cc.

ItemCapKindList zypp::solver::detail::Resolver::isInstalledBy

(

const PoolItem &

item

)

Definition at line 538 of file Resolver.cc.

ItemCapKindList zypp::solver::detail::Resolver::installs

(

const PoolItem &

item

)

Definition at line 557 of file Resolver.cc.

ItemCapKindList zypp::solver::detail::Resolver::satifiedByInstalled

(

const PoolItem &

item

)

Definition at line 576 of file Resolver.cc.

ItemCapKindList zypp::solver::detail::Resolver::installedSatisfied

(

const PoolItem &

item

)

Definition at line 595 of file Resolver.cc.

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