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 () 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)
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)
bool	cleandepsOnRemove () const
void	setCleandepsOnRemove (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	_cleandepsOnRemove
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 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]

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.

References _pool, and setPool().

Referenced by setPool().

void zypp::solver::detail::Resolver::addUpgradeRepo

(

Repository

repo_r

)

[inline]

Definition at line 170 of file Resolver.h.

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

bool zypp::solver::detail::Resolver::upgradingRepo

(

Repository

repo_r

)

const [inline]

Definition at line 171 of file Resolver.h.

References _upgradeRepos.

void zypp::solver::detail::Resolver::removeUpgradeRepo

(

Repository

repo_r

)

[inline]

Definition at line 172 of file Resolver.h.

References _upgradeRepos.

void zypp::solver::detail::Resolver::removeUpgradeRepos

(

)

[inline]

Definition at line 173 of file Resolver.h.

References _upgradeRepos.

const std::set<Repository>& zypp::solver::detail::Resolver::upgradeRepos

(

)

const [inline]

Definition at line 174 of file Resolver.h.

References _upgradeRepos, and upgradeRepos().

Referenced by 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

(

)

const [inline]

Definition at line 184 of file Resolver.h.

References _extra_requires, and extraRequires().

Referenced by extraRequires().

CapabilitySet zypp::solver::detail::Resolver::extraConflicts

(

)

const [inline]

Definition at line 185 of file Resolver.h.

References _extra_conflicts, and extraConflicts().

Referenced by extraConflicts().

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

References _ignoreAlreadyRecommended.

void zypp::solver::detail::Resolver::setIgnoreAlreadyRecommended

(

bool

yesno_r

)

[inline]

Definition at line 200 of file Resolver.h.

References _ignoreAlreadyRecommended.

bool zypp::solver::detail::Resolver::onlyRequires

(

)

const [inline]

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

References _forceResolve.

void zypp::solver::detail::Resolver::setForceResolve

(

TriBool

state_r

)

[inline]

Definition at line 206 of file Resolver.h.

References _forceResolve.

bool zypp::solver::detail::Resolver::isUpgradeMode

(

)

const [inline]

Definition at line 208 of file Resolver.h.

References _upgradeMode, and isUpgradeMode().

Referenced by isUpgradeMode().

void zypp::solver::detail::Resolver::setUpgradeMode

(

bool

yesno_r

)

[inline]

Definition at line 209 of file Resolver.h.

References _upgradeMode.

bool zypp::solver::detail::Resolver::isUpdateMode

(

)

const [inline]

Definition at line 211 of file Resolver.h.

References _updateMode, and isUpdateMode().

Referenced by isUpdateMode().

bool zypp::solver::detail::Resolver::isVerifyingMode

(

)

const [inline]

Definition at line 213 of file Resolver.h.

References _verifying, and isVerifyingMode().

Referenced by isVerifyingMode().

void zypp::solver::detail::Resolver::setVerifyingMode

(

TriBool

state_r

)

[inline]

Definition at line 214 of file Resolver.h.

References _verifying, and setVerifyingMode().

Referenced by setVerifyingMode().

bool zypp::solver::detail::Resolver::allowVendorChange

(

)

const [inline]

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

References _solveSrcPackages.

void zypp::solver::detail::Resolver::setSolveSrcPackages

(

TriBool

state_r

)

[inline]

Definition at line 220 of file Resolver.h.

References _solveSrcPackages.

bool zypp::solver::detail::Resolver::cleandepsOnRemove

(

)

const [inline]

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

)

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.

Referenced by setPool().

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.

Referenced by extraRequires().

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

Definition at line 109 of file Resolver.h.

Referenced by extraConflicts().

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

Definition at line 110 of file Resolver.h.

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

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.

Referenced by forceResolve(), and setForceResolve().

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

Definition at line 120 of file Resolver.h.

Referenced by isUpgradeMode(), and setUpgradeMode().

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

Definition at line 121 of file Resolver.h.

Referenced by isUpdateMode().

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

Definition at line 122 of file Resolver.h.

Referenced by isVerifyingMode(), and setVerifyingMode().

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

Definition at line 123 of file Resolver.h.

Referenced by onlyRequires().

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

Definition at line 126 of file Resolver.h.

Referenced by allowVendorChange().

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

Definition at line 127 of file Resolver.h.

Referenced by setSolveSrcPackages(), and solveSrcPackages().

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

Definition at line 128 of file Resolver.h.

Referenced by cleandepsOnRemove().

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

Definition at line 130 of file Resolver.h.

Referenced by ignoreAlreadyRecommended(), and setIgnoreAlreadyRecommended().

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 file:

• zypp/solver/detail/Resolver.h