zypp::solver::detail::SATResolver Class Reference

#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 ()
sat::StringQueue	autoInstalled () const
sat::StringQueue	userInstalled () const
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 170 of file SATResolver.cc.

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

virtual

Definition at line 192 of file SATResolver.cc.

Member Function Documentation

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

private

Definition at line 1023 of file SATResolver.cc.

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

private

Definition at line 206 of file SATResolver.cc.

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

private

Definition at line 671 of file SATResolver.cc.

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

private

Definition at line 454 of file SATResolver.cc.

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

private

Definition at line 742 of file SATResolver.cc.

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

private

Definition at line 1459 of file SATResolver.cc.

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

private

Definition at line 1493 of file SATResolver.cc.

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

private

Definition at line 1020 of file SATResolver.cc.

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

private

Definition at line 1017 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 130 of file SATResolver.cc.

ResPool zypp::solver::detail::SATResolver::pool

(

void

)

const

Definition at line 200 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 755 of file SATResolver.cc.

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

Definition at line 821 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::doUpdate

(

)

Todo:

duplicate code to be joined with solving.

Definition at line 866 of file SATResolver.cc.

ResolverProblemList zypp::solver::detail::SATResolver::problems

(

)

Definition at line 1162 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::applySolutions

(

const ProblemSolutionList &

solutions

)

Definition at line 1448 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::addPoolItemToInstall

(

PoolItem

item

)

Definition at line 251 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::addPoolItemsToInstallFromList

(

PoolItemList &

rl

)

Definition at line 260 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::addPoolItemToLock

(

PoolItem

item

)

Definition at line 286 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::addPoolItemToKeep

(

PoolItem

item

)

Definition at line 294 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::addPoolItemToRemove

(

PoolItem

item

)

Definition at line 269 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::addPoolItemsToRemoveFromList

(

PoolItemList &

rl

)

Definition at line 278 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.

sat::StringQueue zypp::solver::detail::SATResolver::autoInstalled

(

)

const

Definition at line 1529 of file SATResolver.cc.

sat::StringQueue zypp::solver::detail::SATResolver::userInstalled

(

)

const

Definition at line 1537 of file SATResolver.cc.

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