#include <SATResolver.h>

Inheritance diagram for zypp::solver::detail::SATResolver:

Public Member Functions
	SATResolver (const ResPool &pool, Pool *SATPool)

virtual	~SATResolver ()

virtual std::ostream &	dumpOn (std::ostream &str) const
	Overload to realize std::ostream & operator<<. More...

ResPool	pool (void) const

void	setPool (const ResPool &pool)

bool	resolvePool (const CapabilitySet &requires_caps, const CapabilitySet &conflict_caps, const PoolItemList &weakItems, const std::set< Repository > &upgradeRepos)

bool	resolveQueue (const SolverQueueItemList &requestQueue, const PoolItemList &weakItems)

void	doUpdate ()

ResolverProblemList	problems ()

void	applySolutions (const ProblemSolutionList &solutions)

void	addPoolItemToInstall (PoolItem item)

void	addPoolItemsToInstallFromList (PoolItemList &rl)

void	addPoolItemToLock (PoolItem item)

void	addPoolItemToKeep (PoolItem item)

void	addPoolItemToRemove (PoolItem item)

void	addPoolItemsToRemoveFromList (PoolItemList &rl)

bool	fixsystem () const

void	setFixsystem (const bool fixsystem)

bool	ignorealreadyrecommended () const

void	setIgnorealreadyrecommended (const bool ignorealreadyrecommended)

bool	distupgrade () const

void	setDistupgrade (const bool distupgrade)

bool	distupgrade_removeunsupported () const

void	setDistupgrade_removeunsupported (const bool distupgrade_removeunsupported)

bool	allowdowngrade () const

void	setAllowdowngrade (const bool allowdowngrade)

bool	allowarchchange () const

void	setAllowarchchange (const bool allowarchchange)

bool	allowvendorchange () const

void	setAllowvendorchange (const bool allowvendorchange)

bool	allowuninstall () const

void	setAllowuninstall (const bool allowuninstall)

bool	updatesystem () const

void	setUpdatesystem (const bool updatesystem)

bool	noupdateprovide () const

void	setNoupdateprovide (const bool noupdateprovide)

bool	dosplitprovides () const

void	setDosplitprovides (const bool dosplitprovides)

bool	onlyRequires () const

void	setOnlyRequires (const bool onlyRequires)

bool	solveSrcPackages () const

void	setSolveSrcPackages (bool state_r)

bool	cleandepsOnRemove () const

void	setCleandepsOnRemove (bool state_r)

PoolItemList	problematicUpdateItems (void) const

PoolItemList	resultItemsToInstall ()

PoolItemList	resultItemsToRemove ()

PoolItemList	problematicUpdateItems ()

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
std::string	SATprobleminfoString (Id problem, std::string &detail, Id &ignoreId)

void	resetItemTransaction (PoolItem item)

void	solverInit (const PoolItemList &weakItems)

bool	solving (const CapabilitySet &requires_caps=CapabilitySet(), const CapabilitySet &conflict_caps=CapabilitySet())

void	solverEnd ()

void	setLocks ()

void	setSystemRequirements ()

sat::Solvable	mapSolvable (const Id &id)

PoolItem	mapItem (const PoolItem &item)

Private Attributes
ResPool	_pool

Pool *	_SATPool

Solver *	_solv

Queue	_jobQueue

PoolItemList	_problem_items

PoolItemList	_items_to_install

PoolItemList	_items_to_remove

PoolItemList	_items_to_lock

PoolItemList	_items_to_keep

PoolItemList	_result_items_to_install

PoolItemList	_result_items_to_remove

bool	_fixsystem

bool	_allowdowngrade

bool	_allowarchchange

bool	_allowvendorchange

bool	_allowuninstall

bool	_updatesystem

bool	_noupdateprovide

bool	_dosplitprovides

bool	_onlyRequires

bool	_ignorealreadyrecommended

bool	_distupgrade

bool	_distupgrade_removeunsupported

bool	_solveSrcPackages

bool	_cleandepsOnRemove

Friends
std::ostream &	operator<< (std::ostream &str, const SATResolver &obj)

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

Todo:: The way solver options are passed as individual booleans from Resolver via solver::detail::Resolver to SATResolver is pedestrian and error prone. Introdce a dedicated solver option structure which is passed down as a whole.

Definition at line 71 of file SATResolver.h.

Constructor & Destructor Documentation

zypp::solver::detail::SATResolver::SATResolver	(	const ResPool &	pool,
		Pool *	SATPool
	)

Definition at line 137 of file SATResolver.cc.

zypp::solver::detail::SATResolver::~SATResolver ( )

virtual

Definition at line 159 of file SATResolver.cc.

Member Function Documentation

string zypp::solver::detail::SATResolver::SATprobleminfoString	(	Id	problem,
		std::string &	detail,
		Id &	ignoreId
	)

private

Definition at line 991 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::resetItemTransaction ( PoolItem item )

private

Definition at line 173 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::solverInit ( const PoolItemList & weakItems )

private

Definition at line 631 of file SATResolver.cc.

bool zypp::solver::detail::SATResolver::solving	(	const CapabilitySet &	requires_caps = `CapabilitySet()`,
		const CapabilitySet &	conflict_caps = `CapabilitySet()`
	)

private

Definition at line 421 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::solverEnd ( )

private

Definition at line 710 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::setLocks ( )

private

Definition at line 1424 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::setSystemRequirements ( )

private

Definition at line 1458 of file SATResolver.cc.

sat::Solvable zypp::solver::detail::SATResolver::mapSolvable ( const Id & id )

private

Definition at line 988 of file SATResolver.cc.

PoolItem zypp::solver::detail::SATResolver::mapItem ( const PoolItem & item )

private

Definition at line 985 of file SATResolver.cc.

std::ostream & zypp::solver::detail::SATResolver::dumpOn ( std::ostream & str ) const

virtual

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

Reimplemented from zypp::base::ReferenceCounted.

Definition at line 111 of file SATResolver.cc.

ResPool zypp::solver::detail::SATResolver::pool ( void ) const

Definition at line 167 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::setPool ( const ResPool & pool )

inline

Definition at line 144 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::resolvePool	(	const CapabilitySet &	requires_caps,
		const CapabilitySet &	conflict_caps,
		const PoolItemList &	weakItems,
		const std::set< Repository > &	upgradeRepos
	)

Definition at line 723 of file SATResolver.cc.

bool zypp::solver::detail::SATResolver::resolveQueue	(	const SolverQueueItemList &	requestQueue,
		const PoolItemList &	weakItems
	)

Definition at line 789 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::doUpdate ( )

Todo:: duplicate code to be joined with solving.

Definition at line 834 of file SATResolver.cc.

ResolverProblemList zypp::solver::detail::SATResolver::problems ( )

Definition at line 1127 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::applySolutions ( const ProblemSolutionList & solutions )

Definition at line 1413 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::addPoolItemToInstall ( PoolItem item )

Definition at line 218 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::addPoolItemsToInstallFromList ( PoolItemList & rl )

Definition at line 227 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::addPoolItemToLock ( PoolItem item )

Definition at line 253 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::addPoolItemToKeep ( PoolItem item )

Definition at line 261 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::addPoolItemToRemove ( PoolItem item )

Definition at line 236 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::addPoolItemsToRemoveFromList ( PoolItemList & rl )

Definition at line 245 of file SATResolver.cc.

bool zypp::solver::detail::SATResolver::fixsystem ( ) const

inline

Definition at line 171 of file SATResolver.h.

void zypp::solver::detail::SATResolver::setFixsystem ( const bool fixsystem )

inline

Definition at line 172 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::ignorealreadyrecommended ( ) const

inline

Definition at line 174 of file SATResolver.h.

void zypp::solver::detail::SATResolver::setIgnorealreadyrecommended ( const bool ignorealreadyrecommended )

inline

Definition at line 175 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::distupgrade ( ) const

inline

Definition at line 177 of file SATResolver.h.

void zypp::solver::detail::SATResolver::setDistupgrade ( const bool distupgrade )

inline

Definition at line 178 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::distupgrade_removeunsupported ( ) const

inline

Definition at line 180 of file SATResolver.h.

void zypp::solver::detail::SATResolver::setDistupgrade_removeunsupported ( const bool distupgrade_removeunsupported )

inline

Definition at line 181 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::allowdowngrade ( ) const

inline

Definition at line 183 of file SATResolver.h.

void zypp::solver::detail::SATResolver::setAllowdowngrade ( const bool allowdowngrade )

inline

Definition at line 184 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::allowarchchange ( ) const

inline

Definition at line 186 of file SATResolver.h.

void zypp::solver::detail::SATResolver::setAllowarchchange ( const bool allowarchchange )

inline

Definition at line 187 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::allowvendorchange ( ) const

inline

Definition at line 189 of file SATResolver.h.

void zypp::solver::detail::SATResolver::setAllowvendorchange ( const bool allowvendorchange )

inline

Definition at line 190 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::allowuninstall ( ) const

inline

Definition at line 192 of file SATResolver.h.

void zypp::solver::detail::SATResolver::setAllowuninstall ( const bool allowuninstall )

inline

Definition at line 193 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::updatesystem ( ) const

inline

Definition at line 195 of file SATResolver.h.

void zypp::solver::detail::SATResolver::setUpdatesystem ( const bool updatesystem )

inline

Definition at line 196 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::noupdateprovide ( ) const

inline

Definition at line 198 of file SATResolver.h.

void zypp::solver::detail::SATResolver::setNoupdateprovide ( const bool noupdateprovide )

inline

Definition at line 199 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::dosplitprovides ( ) const

inline

Definition at line 201 of file SATResolver.h.

void zypp::solver::detail::SATResolver::setDosplitprovides ( const bool dosplitprovides )

inline

Definition at line 202 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::onlyRequires ( ) const

inline

Definition at line 204 of file SATResolver.h.

void zypp::solver::detail::SATResolver::setOnlyRequires ( const bool onlyRequires )

inline

Definition at line 205 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::solveSrcPackages ( ) const

inline

Definition at line 207 of file SATResolver.h.

void zypp::solver::detail::SATResolver::setSolveSrcPackages ( bool state_r )

inline

Definition at line 208 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::cleandepsOnRemove ( ) const

inline

Definition at line 210 of file SATResolver.h.

void zypp::solver::detail::SATResolver::setCleandepsOnRemove ( bool state_r )

inline

Definition at line 211 of file SATResolver.h.

PoolItemList zypp::solver::detail::SATResolver::problematicUpdateItems ( void ) const

inline

Definition at line 213 of file SATResolver.h.

PoolItemList zypp::solver::detail::SATResolver::resultItemsToInstall ( )

inline

Definition at line 215 of file SATResolver.h.

PoolItemList zypp::solver::detail::SATResolver::resultItemsToRemove ( )

inline

Definition at line 216 of file SATResolver.h.

PoolItemList zypp::solver::detail::SATResolver::problematicUpdateItems ( void )

inline

Definition at line 217 of file SATResolver.h.

Friends And Related Function Documentation

std::ostream& operator<<	(	std::ostream &	str,
		const SATResolver &	obj
	)

friend

Definition at line 140 of file SATResolver.h.

Member Data Documentation

ResPool zypp::solver::detail::SATResolver::_pool

private

Definition at line 74 of file SATResolver.h.

Pool* zypp::solver::detail::SATResolver::_SATPool

private

Definition at line 75 of file SATResolver.h.

Solver* zypp::solver::detail::SATResolver::_solv

private

Definition at line 76 of file SATResolver.h.

Queue zypp::solver::detail::SATResolver::_jobQueue

private

Definition at line 77 of file SATResolver.h.

PoolItemList zypp::solver::detail::SATResolver::_problem_items

private

Definition at line 80 of file SATResolver.h.

PoolItemList zypp::solver::detail::SATResolver::_items_to_install

private

Definition at line 83 of file SATResolver.h.

PoolItemList zypp::solver::detail::SATResolver::_items_to_remove

private

Definition at line 84 of file SATResolver.h.

PoolItemList zypp::solver::detail::SATResolver::_items_to_lock

private

Definition at line 85 of file SATResolver.h.

PoolItemList zypp::solver::detail::SATResolver::_items_to_keep

private

Definition at line 86 of file SATResolver.h.

PoolItemList zypp::solver::detail::SATResolver::_result_items_to_install

private

Definition at line 89 of file SATResolver.h.

PoolItemList zypp::solver::detail::SATResolver::_result_items_to_remove

private

Definition at line 90 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::_fixsystem

private

Definition at line 92 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::_allowdowngrade

private

Definition at line 93 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::_allowarchchange

private

Definition at line 94 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::_allowvendorchange

private

Definition at line 95 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::_allowuninstall

private

Definition at line 96 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::_updatesystem

private

Definition at line 97 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::_noupdateprovide

private

Definition at line 98 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::_dosplitprovides

private

Definition at line 99 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::_onlyRequires

private

Definition at line 100 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::_ignorealreadyrecommended

private

Definition at line 101 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::_distupgrade

private

Definition at line 102 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::_distupgrade_removeunsupported

private

Definition at line 103 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::_solveSrcPackages

private

Definition at line 104 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::_cleandepsOnRemove

private

Definition at line 105 of file SATResolver.h.

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

zypp/solver/detail/SATResolver.h
zypp/solver/detail/SATResolver.cc

Public Member Functions

Private Member Functions

Private Attributes

Friends

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Friends And Related Function Documentation

Member Data Documentation