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 ); }   \

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; }                                                                \

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.