libzypp  11.13.5
zypp::solver::detail::SATResolver Class Reference

#include <SATResolver.h>

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

List of all members.

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

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

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

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

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

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

Definition at line 1403 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: