#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<<.
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)
sat::Transaction	getTransaction ()
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 ()
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)

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 136 of file SATResolver.cc.

zypp::solver::detail::SATResolver::~SATResolver ( ) [virtual]

Definition at line 158 of file SATResolver.cc.

Member Function Documentation

string zypp::solver::detail::SATResolver::SATprobleminfoString	(	Id	problem,
		std::string &	detail,
		Id &	ignoreId
	)		`[private]`

Definition at line 946 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::resetItemTransaction ( PoolItem item ) [private]

Definition at line 183 of file SATResolver.cc.

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

Definition at line 276 of file Resolver.cc.

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

Definition at line 431 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::solverEnd ( ) [private]

Definition at line 681 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::setLocks ( ) [private]

Definition at line 1384 of file SATResolver.cc.

void zypp::solver::detail::SATResolver::setSystemRequirements ( ) [private]

Definition at line 1418 of file SATResolver.cc.

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

Definition at line 943 of file SATResolver.cc.

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

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

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

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

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

Definition at line 760 of file SATResolver.cc.

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

Todo:: duplicate code to be joined with solving.

Definition at line 805 of file SATResolver.cc.

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

Definition at line 1072 of file SATResolver.cc.

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

Definition at line 1373 of file SATResolver.cc.

sat::Transaction zypp::solver::detail::SATResolver::getTransaction ( )

Definition at line 165 of file SATResolver.cc.

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

Definition at line 228 of file SATResolver.cc.

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

Definition at line 237 of file SATResolver.cc.

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

Definition at line 263 of file SATResolver.cc.

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

Definition at line 271 of file SATResolver.cc.

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

Definition at line 246 of file SATResolver.cc.

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

Definition at line 255 of file SATResolver.cc.

bool zypp::solver::detail::SATResolver::fixsystem ( ) const [inline]

Definition at line 174 of file SATResolver.h.

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

Definition at line 175 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::ignorealreadyrecommended ( ) const [inline]

Definition at line 177 of file SATResolver.h.

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

Definition at line 178 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::distupgrade ( ) const [inline]

Definition at line 180 of file SATResolver.h.

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

Definition at line 181 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::distupgrade_removeunsupported ( ) const [inline]

Definition at line 183 of file SATResolver.h.

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

Definition at line 184 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::allowdowngrade ( ) const [inline]

Definition at line 186 of file SATResolver.h.

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

Definition at line 187 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::allowarchchange ( ) const [inline]

Definition at line 189 of file SATResolver.h.

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

Definition at line 190 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::allowvendorchange ( ) const [inline]

Definition at line 192 of file SATResolver.h.

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

Definition at line 193 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::allowuninstall ( ) const [inline]

Definition at line 195 of file SATResolver.h.

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

Definition at line 196 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::updatesystem ( ) const [inline]

Definition at line 198 of file SATResolver.h.

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

Definition at line 199 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::noupdateprovide ( ) const [inline]

Definition at line 201 of file SATResolver.h.

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

Definition at line 202 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::dosplitprovides ( ) const [inline]

Definition at line 204 of file SATResolver.h.

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

Definition at line 205 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::onlyRequires ( ) const [inline]

Definition at line 207 of file SATResolver.h.

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

Definition at line 208 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::solveSrcPackages ( ) const [inline]

Definition at line 210 of file SATResolver.h.

void zypp::solver::detail::SATResolver::setSolveSrcPackages ( bool state_r ) [inline]

Definition at line 211 of file SATResolver.h.

bool zypp::solver::detail::SATResolver::cleandepsOnRemove ( ) const [inline]

Definition at line 213 of file SATResolver.h.

void zypp::solver::detail::SATResolver::setCleandepsOnRemove ( bool state_r ) [inline]

Definition at line 214 of file SATResolver.h.

PoolItemList zypp::solver::detail::SATResolver::problematicUpdateItems ( void ) const [inline]

Definition at line 216 of file SATResolver.h.

PoolItemList zypp::solver::detail::SATResolver::resultItemsToInstall ( ) [inline]

Definition at line 218 of file SATResolver.h.

PoolItemList zypp::solver::detail::SATResolver::resultItemsToRemove ( ) [inline]

Definition at line 219 of file SATResolver.h.

PoolItemList zypp::solver::detail::SATResolver::problematicUpdateItems ( void ) [inline]

Definition at line 220 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/Resolver.cc
zypp/solver/detail/SATResolver.cc

Public Member Functions

Private Member Functions

Private Attributes

Friends

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Friends And Related Function Documentation

Member Data Documentation