Resolver.cc File Reference

#include <boost/static_assert.hpp>
#include <zypp/base/LogTools.h>
#include <zypp/base/Algorithm.h>
#include <zypp/solver/detail/Resolver.h>
#include <zypp/solver/detail/Testcase.h>
#include <zypp/solver/detail/SATResolver.h>
#include <zypp/solver/detail/ItemCapKind.h>
#include <zypp/solver/detail/SolutionAction.h>
#include <zypp/solver/detail/SolverQueueItem.h>
#include <zypp/ZConfig.h>
#include <zypp/sat/Transaction.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
	zypp
	Easy-to use interface to the ZYPP dependency resolver.
	zypp::solver
	zypp::solver::detail

Macros
#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_TRIBOOL(ZSETTER, ZGETTER, ZVARNAME, ZVARDEFAULT)

Functions
	zypp::solver::detail::ZOLV_FLAG_TRIBOOL (setAllowNameChange, allowNameChange, _allownamechange, true) ZOLV_FLAG_TRIBOOL(setAllowVendorChange

Variables
	zypp::solver::detail::allowVendorChange
	zypp::solver::detail::_allowvendorchange
	zypp::solver::detail::dupAllowDowngrade
	zypp::solver::detail::_dup_allowdowngrade
	zypp::solver::detail::dupAllowNameChange
	zypp::solver::detail::_dup_allownamechange
	zypp::solver::detail::dupAllowArchChange
	zypp::solver::detail::_dup_allowarchchange
	zypp::solver::detail::dupAllowVendorChange
	zypp::solver::detail::_dup_allowvendorchange

Macro Definition Documentation

ZYPP_USE_RESOLVER_INTERNALS

#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_TRIBOOL

#define ZOLV_FLAG_TRIBOOL	(		ZSETTER,
			ZGETTER,
			ZVARNAME,
			ZVARDEFAULT
	)

Value:

void Resolver::ZSETTER( TriBool state_r )                                               \
    { _satResolver->ZVARNAME = indeterminate(state_r) ? ZVARDEFAULT : bool(state_r); }  \
    bool Resolver::ZGETTER() const                                                      \
    { return _satResolver->ZVARNAME; }                                                  \

Definition at line 109 of file Resolver.cc.