Resolver.cc File Reference

#include <boost/static_assert.hpp>
#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/Capabilities.h"
#include "zypp/ZConfig.h"
#include "zypp/base/Logger.h"
#include "zypp/base/String.h"
#include "zypp/base/Gettext.h"
#include "zypp/base/Algorithm.h"
#include "zypp/ResPool.h"
#include "zypp/ResFilters.h"
#include "zypp/sat/Pool.h"
#include "zypp/sat/Solvable.h"
#include "zypp/sat/Transaction.h"
#include "zypp/ResolverProblem.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	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

#define ZYPP_USE_RESOLVER_INTERNALS

Definition at line 23 of file Resolver.cc.

#define MAXSOLVERRUNS   5

Definition at line 45 of file Resolver.cc.

#define OUTS

(

t

)

os << " " << #t << ":\t" << t << endl;

#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 110 of file Resolver.cc.