#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>
Go to the source code of this file.
◆ ZYPP_USE_RESOLVER_INTERNALS [1/2]
#define ZYPP_USE_RESOLVER_INTERNALS |
◆ 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 114 of file Resolver.cc.
◆ ZOLV_FLAG_TRIBOOL [1/2]
#define ZOLV_FLAG_TRIBOOL |
( |
|
ZSETTER, |
|
|
|
ZDEFAULT, |
|
|
|
ZGETTER |
|
) |
| |
Value: void Resolver::ZDEFAULT() { _pimpl->ZSETTER( indeterminate ); } \
#define ZOLV_FLAG_BOOL(ZSETTER, ZGETTER)
Definition at line 109 of file Resolver.cc.
◆ ZYPP_USE_RESOLVER_INTERNALS [2/2]
#define ZYPP_USE_RESOLVER_INTERNALS |
◆ MAXSOLVERRUNS
◆ ZYPP_BASE_LOGGER_LOGGROUP
#define ZYPP_BASE_LOGGER_LOGGROUP "zypp::solver" |
◆ OUTS
#define OUTS |
( |
|
t | ) |
os << " " << #t << ":\t" << t << endl; |
◆ ZOLV_FLAG_TRIBOOL [2/2]
#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; } \
boost::logic::tribool TriBool
3-state boolean logic (true, false and indeterminate).
Definition at line 109 of file Resolver.cc.