libzypp  17.8.0
SATResolver.cc File Reference
#include <solv/repo_solv.h>
#include <solv/poolarch.h>
#include <solv/evr.h>
#include <solv/poolvendor.h>
#include <solv/policy.h>
#include <solv/bitmap.h>
#include <solv/queue.h>
#include "zypp/base/String.h"
#include "zypp/Product.h"
#include "zypp/Capability.h"
#include "zypp/ResStatus.h"
#include "zypp/VendorAttr.h"
#include "zypp/base/LogTools.h"
#include "zypp/base/Gettext.h"
#include "zypp/base/Algorithm.h"
#include "zypp/ResPool.h"
#include "zypp/ResFilters.h"
#include "zypp/ZConfig.h"
#include "zypp/sat/Pool.h"
#include "zypp/sat/WhatProvides.h"
#include "zypp/sat/WhatObsoletes.h"
#include "zypp/solver/detail/Resolver.h"
#include "zypp/solver/detail/SATResolver.h"
#include "zypp/solver/detail/ProblemSolutionCombi.h"
#include "zypp/solver/detail/ProblemSolutionIgnore.h"
#include "zypp/solver/detail/SolverQueueItemInstall.h"
#include "zypp/solver/detail/SolverQueueItemDelete.h"
#include "zypp/solver/detail/SystemCheck.h"
#include "zypp/solver/detail/SolutionAction.h"
#include "zypp/solver/detail/SolverQueueItem.h"
#include "zypp/sat/Transaction.h"
#include "zypp/sat/Queue.h"
#include "zypp/sat/detail/PoolImpl.h"
Include dependency graph for SATResolver.cc:

Go to the source code of this file.

Classes

class  zypp::solver::detail::SATCollectTransact
 Commit helper functor distributing PoolItem by status into lists. More...
 
class  zypp::solver::detail::CheckIfUpdate
 
class  zypp::solver::detail::CollectPseudoInstalled
 
struct  zypp::solver::detail::FindPackage
 

Namespaces

 zypp
 Easy-to use interface to the ZYPP dependency resolver.
 
 zypp::env
 
 zypp::solver
 
 zypp::solver::detail
 

Macros

#define ZYPP_USE_RESOLVER_INTERNALS
 
#define XDEBUG(x)   do { if (base::logger::isExcessive()) XXX << x << std::endl;} while (0)
 
#define ZYPP_BASE_LOGGER_LOGGROUP   "zypp::solver"
 
#define MAYBE_CLEANDEPS   (cleandepsOnRemove()?SOLVER_CLEANDEPS:0)
 
#define OUTS(X)   os << " " << #X << "\t= " << solver_get_flag(_satSolver, SOLVER_FLAG_##X) << endl
 
#define HACKENV(X, D)   solver_set_flag(_satSolver, X, env::HACKENV( #X, D ) );
 

Functions

bool zypp::env::HACKENV (const char *var_r, bool default_r)
 
 zypp::solver::detail::IMPL_PTR_TYPE (SATResolver)
 
int zypp::solver::detail::vendorCheck (sat::detail::CPool *pool, Solvable *solvable1, Solvable *solvable2)
 
std::string zypp::solver::detail::itemToString (const PoolItem &item)
 
PoolItem zypp::solver::detail::getPoolItem (Id id_r)
 
static void zypp::solver::detail::SATSolutionToPool (PoolItem item, const ResStatus &status, const ResStatus::TransactByValue causer)
 
sat::Solvable zypp::solver::detail::mapBuddy (const PoolItem &item_r)
 
sat::Solvable zypp::solver::detail::mapBuddy (sat::Solvable item_r)
 

Macro Definition Documentation

◆ ZYPP_USE_RESOLVER_INTERNALS

#define ZYPP_USE_RESOLVER_INTERNALS

Definition at line 32 of file SATResolver.cc.

◆ XDEBUG

#define XDEBUG (   x)    do { if (base::logger::isExcessive()) XXX << x << std::endl;} while (0)

Definition at line 63 of file SATResolver.cc.

◆ ZYPP_BASE_LOGGER_LOGGROUP

#define ZYPP_BASE_LOGGER_LOGGROUP   "zypp::solver"

Definition at line 66 of file SATResolver.cc.

◆ MAYBE_CLEANDEPS

#define MAYBE_CLEANDEPS   (cleandepsOnRemove()?SOLVER_CLEANDEPS:0)

Definition at line 101 of file SATResolver.cc.

◆ OUTS

#define OUTS (   X)    os << " " << #X << "\t= " << solver_get_flag(_satSolver, SOLVER_FLAG_##X) << endl

◆ HACKENV

#define HACKENV (   X,
 
)    solver_set_flag(_satSolver, X, env::HACKENV( #X, D ) );