Resolver.cc File Reference

#include <boost/static_assert.hpp>
#include "zypp/solver/detail/Resolver.h"
#include "zypp/solver/detail/Helper.h"
#include "zypp/solver/detail/Testcase.h"
#include "zypp/solver/detail/SATResolver.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	MAXSOLVERRUNS   5
#define	OUTS(t)   os << " " << #t << ":\t" << t << endl;
#define	ZOLV_FLAG_TRIBOOL(ZSETTER, ZGETTER, ZVARNAME, ZVARDEFAULT)

Functions
	zypp::solver::detail::IMPL_PTR_TYPE (Resolver)

Macro Definition Documentation

#define MAXSOLVERRUNS   5

Definition at line 41 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 108 of file Resolver.cc.