libzypp: zypp/solver/detail/Resolver.cc File Reference

libzypp 17.25.10

Classes | Namespaces | Macros | Functions | Variables
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
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 | 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; } \
zypp::TriBool
boost::logic::tribool TriBool
3-state boolean logic (true, false and indeterminate).
Definition: String.h:30

Definition at line 109 of file Resolver.cc.