libzypp 17.31.23
Resolver.cc File Reference
#include <iostream>
#include <zypp/Resolver.h>
#include <zypp/solver/detail/Resolver.h>
#include <zypp/solver/detail/Testcase.h>
#include <zypp/solver/detail/ItemCapKind.h>
#include <zypp/sat/Transaction.h>
#include <boost/static_assert.hpp>
#include <zypp/base/LogTools.h>
#include <zypp/base/Algorithm.h>
#include <zypp/solver/detail/SATResolver.h>
#include <zypp/solver/detail/SolutionAction.h>
#include <zypp/solver/detail/SolverQueueItem.h>
#include <zypp/ZConfig.h>
Include dependency graph for Resolver.cc:

Go to the source code of this file.

Classes

struct  zypp::solver::detail::UndoTransact
 
struct  zypp::solver::detail::DoTransact
 

Namespaces

namespace  zypp
 Easy-to use interface to the ZYPP dependency resolver.
 
namespace  zypp::solver
 
namespace  zypp::solver::detail
 

Macros

#define ZYPP_USE_RESOLVER_INTERNALS
 
#define ZOLV_FLAG_BOOL(ZSETTER, ZGETTER)
 
#define ZOLV_FLAG_TRIBOOL(ZSETTER, ZDEFAULT, ZGETTER)
 
#define ZYPP_USE_RESOLVER_INTERNALS
 
#define MAXSOLVERRUNS   5
 
#define ZYPP_BASE_LOGGER_LOGGROUP   "zypp::solver"
 
#define OUTS(t)   os << " " << #t << ":\t" << t << endl;
 
#define ZOLV_FLAG_DEFAULT(ZSETTER, ZGETTER)    if ( all_r || _applyDefault_##ZGETTER ) ZSETTER( indeterminate )
 
#define ZOLV_FLAG_TRIBOOL(ZSETTER, ZGETTER, ZVARDEFAULT, ZVARNAME)
 
#define ZOLV_FLAG_SATSOLV(ZSETTER, ZGETTER, ZVARDEFAULT, ZVARNAME)    ZOLV_FLAG_TRIBOOL( ZSETTER, ZGETTER, ZVARDEFAULT, _satResolver->ZVARNAME )
 

Functions

 zypp::IMPL_PTR_TYPE (Resolver)
 
std::ostream & zypp::operator<< (std::ostream &str, const Resolver &obj)
 
 zypp::solver::detail::ZOLV_FLAG_SATSOLV (setCleandepsOnRemove, cleandepsOnRemove, ZConfig::instance().solver_cleandepsOnRemove(), _cleandepsOnRemove) ZOLV_FLAG_SATSOLV(setOnlyRequires
 
_onlyRequires zypp::solver::detail::ZOLV_FLAG_SATSOLV (setAllowVendorChange, allowVendorChange, ZConfig::instance().solver_allowVendorChange(), _allowvendorchange) ZOLV_FLAG_SATSOLV(dupSetAllowDowngrade
 
_onlyRequires _dup_allowdowngrade zypp::solver::detail::ZOLV_FLAG_SATSOLV (dupSetAllowNameChange, dupAllowNameChange, ZConfig::instance().solver_dupAllowNameChange(), _dup_allownamechange) ZOLV_FLAG_SATSOLV(dupSetAllowArchChange
 
_onlyRequires _dup_allowdowngrade _dup_allowarchchange zypp::solver::detail::ZOLV_FLAG_SATSOLV (dupSetAllowVendorChange, dupAllowVendorChange, ZConfig::instance().solver_dupAllowVendorChange(), _dup_allowvendorchange) ResPool Resolver
 

Variables

 zypp::solver::detail::onlyRequires
 
_onlyRequires zypp::solver::detail::dupAllowDowngrade
 
_onlyRequires _dup_allowdowngrade zypp::solver::detail::dupAllowArchChange
 

Macro Definition Documentation

◆ ZYPP_USE_RESOLVER_INTERNALS [1/2]

#define ZYPP_USE_RESOLVER_INTERNALS

Definition at line 23 of file Resolver.cc.

◆ ZOLV_FLAG_BOOL

#define ZOLV_FLAG_BOOL (   ZSETTER,
  ZGETTER 
)
Value:
void Resolver::ZSETTER( bool yesno_r ){ _pimpl->ZSETTER( yesno_r ); } \
bool Resolver::ZGETTER() const { return _pimpl->ZGETTER(); } \

Definition at line 117 of file Resolver.cc.

◆ ZOLV_FLAG_TRIBOOL [1/2]

#define ZOLV_FLAG_TRIBOOL (   ZSETTER,
  ZDEFAULT,
  ZGETTER 
)
Value:
ZOLV_FLAG_BOOL( ZSETTER , ZGETTER ) \
void Resolver::ZDEFAULT() { _pimpl->ZSETTER( indeterminate ); } \
#define ZOLV_FLAG_BOOL(ZSETTER, ZGETTER)
Definition: Resolver.cc:117

Definition at line 142 of file Resolver.cc.

◆ ZYPP_USE_RESOLVER_INTERNALS [2/2]

#define ZYPP_USE_RESOLVER_INTERNALS

Definition at line 23 of file Resolver.cc.

◆ MAXSOLVERRUNS

#define MAXSOLVERRUNS   5

Definition at line 38 of file Resolver.cc.

◆ ZYPP_BASE_LOGGER_LOGGROUP

#define ZYPP_BASE_LOGGER_LOGGROUP   "zypp::solver"

Definition at line 44 of file Resolver.cc.

◆ OUTS

#define OUTS (   t)    os << " " << #t << ":\t" << t << endl;

◆ ZOLV_FLAG_DEFAULT

#define ZOLV_FLAG_DEFAULT (   ZSETTER,
  ZGETTER 
)     if ( all_r || _applyDefault_##ZGETTER ) ZSETTER( indeterminate )

◆ ZOLV_FLAG_TRIBOOL [2/2]

#define ZOLV_FLAG_TRIBOOL (   ZSETTER,
  ZGETTER,
  ZVARDEFAULT,
  ZVARNAME 
)
Value:
void Resolver::ZSETTER( TriBool state_r ) \
{ _applyDefault_##ZGETTER = indeterminate(state_r); \
bool newval = _applyDefault_##ZGETTER ? ZVARDEFAULT : bool(state_r); \
if ( ZVARNAME != newval ) { \
DBG << #ZGETTER << ": changed from " << (bool)ZVARNAME << " to " << newval << endl;\
ZVARNAME = newval; \
} \
} \
bool Resolver::ZGETTER() const \
{ return ZVARNAME; } \
#define DBG
Definition: Logger.h:95

Definition at line 142 of file Resolver.cc.

◆ ZOLV_FLAG_SATSOLV

#define ZOLV_FLAG_SATSOLV (   ZSETTER,
  ZGETTER,
  ZVARDEFAULT,
  ZVARNAME 
)     ZOLV_FLAG_TRIBOOL( ZSETTER, ZGETTER, ZVARDEFAULT, _satResolver->ZVARNAME )

Definition at line 156 of file Resolver.cc.