libzypp 17.38.14
zyppng::sat::detail Namespace Reference

CLASS NAME : detail::DIWrap. More...

Classes

struct  ByRepository
 Functor filtering Solvable by Repository. More...
struct  convert_to_solvable
struct  convert_to_solvable< T, std::void_t< satSolvable_t< T > > >
class  DIWrap
 Wrapper around sat detail::CDataiterator. More...
class  IBasicPoolComponent
 Shared base for IPoolComponent and IPreparedPoolComponent. More...
class  RepositoryIterator
class  SolvableIterator
 Iterate over valid Solvables in the pool. More...

Typedefs

using CDataiterator = zypp::sat::detail::CDataiterator
using CDatamatcher = zypp::sat::detail::CDatamatcher
using CMap = zypp::sat::detail::CMap
using CPool = zypp::sat::detail::CPool
using CQueue = zypp::sat::detail::CQueue
using CRepo = zypp::sat::detail::CRepo
using CSolvable = zypp::sat::detail::CSolvable
using CSolver = zypp::sat::detail::CSolver
using CTransaction = zypp::sat::detail::CTransaction
using IdType = zypp::sat::detail::IdType
using SolvableIdType = zypp::sat::detail::SolvableIdType
using RepoIdType = zypp::sat::detail::RepoIdType
using size_type = SolvableIdType
template<typename T>
using satSolvable_t = decltype(std::declval<T>().satSolvable())

Functions

void cap2str (std::string &outs_r, CPool *pool_r, IdType id_r, int parop_r)
 Shared logic to convert a sat ID into a human readable string.
const char * cap2str (CPool *pool_r, IdType id_r, int parop_r=0)
 Shared logic to convert a sat ID into a human readable string.
const char * capRel2Str (int op_r)
 Convert a relation operator to its string representation.
static void logSat (CPool *, void *data, int type, const char *logString)
template<typename T>
PoolpoolFromType (T &)
template<typename T>
const PoolpoolFromType (const T &)
template<>
PoolpoolFromType (Repository &r)
template<>
const PoolpoolFromType (const Repository &r)
template<>
PoolpoolFromType (Repository &)
template<>
const PoolpoolFromType (const Repository &)
template<>
PoolpoolFromType (Solvable &s)
template<>
const PoolpoolFromType (const Solvable &s)
template<>
PoolpoolFromType (Solvable &)
template<>
const PoolpoolFromType (const Solvable &)
bool isDepMarkerId (IdType id_r)
 Test for internal ids satlib includes in dependencies.

Variables

template<typename T>
constexpr bool has_satSolvable_v = std::is_detected_v<satSolvable_t, T>

Detailed Description

CLASS NAME : detail::DIWrap.

Typedef Documentation

◆ CDataiterator

◆ CDatamatcher

◆ CMap

◆ CPool

◆ CQueue

◆ CRepo

◆ CSolvable

◆ CSolver

◆ CTransaction

◆ IdType

◆ SolvableIdType

◆ RepoIdType

◆ size_type

Definition at line 59 of file poolconstants.h.

◆ satSolvable_t

template<typename T>
using zyppng::sat::detail::satSolvable_t = decltype(std::declval<T>().satSolvable())

Definition at line 471 of file solvable.h.

Function Documentation

◆ cap2str() [1/2]

void zyppng::sat::detail::cap2str ( std::string & outs_r,
CPool * pool_r,
IdType id_r,
int parop_r )

Shared logic to convert a sat ID into a human readable string.

Handles recursive rich dependencies and architecture/namespace tagging.

Parameters
outs_rThe string to append the result to.
pool_rThe pool to use for ID lookups.
id_rThe ID to convert.
parop_rParent operator for recursive calls (determines bracing).

Definition at line 56 of file cap2str.cc.

◆ cap2str() [2/2]

const char * zyppng::sat::detail::cap2str ( CPool * pool_r,
IdType id_r,
int parop_r = 0 )

Shared logic to convert a sat ID into a human readable string.

Handles recursive rich dependencies and architecture/namespace tagging.

Returns
Returns a char array in a private memory area, this can be overridden when cap2str is called again

Definition at line 107 of file cap2str.cc.

◆ capRel2Str()

const char * zyppng::sat::detail::capRel2Str ( int op_r)

Convert a relation operator to its string representation.

Parameters
op_rThe operator ID (e.g., REL_GT, REL_AND).
Returns
String representation like " > " or " and ".

Definition at line 119 of file cap2str.cc.

◆ logSat()

void zyppng::sat::detail::logSat ( CPool * ,
void * data,
int type,
const char * logString )
static

Definition at line 66 of file pool.cc.

◆ poolFromType() [1/10]

template<typename T>
Pool & zyppng::sat::detail::poolFromType ( T & )

◆ poolFromType() [2/10]

template<typename T>
const Pool & zyppng::sat::detail::poolFromType ( const T & )

◆ poolFromType() [3/10]

template<>
Pool & zyppng::sat::detail::poolFromType ( Repository & r)

Definition at line 37 of file repository.cc.

◆ poolFromType() [4/10]

template<>
const Pool & zyppng::sat::detail::poolFromType ( const Repository & r)

Definition at line 43 of file repository.cc.

◆ poolFromType() [5/10]

template<>
Pool & zyppng::sat::detail::poolFromType ( Repository & r)

Definition at line 37 of file repository.cc.

◆ poolFromType() [6/10]

template<>
const Pool & zyppng::sat::detail::poolFromType ( const Repository & r)

Definition at line 43 of file repository.cc.

◆ poolFromType() [7/10]

template<>
Pool & zyppng::sat::detail::poolFromType ( Solvable & s)

Definition at line 43 of file solvable.cc.

◆ poolFromType() [8/10]

template<>
const Pool & zyppng::sat::detail::poolFromType ( const Solvable & s)

Definition at line 52 of file solvable.cc.

◆ poolFromType() [9/10]

template<>
Pool & zyppng::sat::detail::poolFromType ( Solvable & s)

Definition at line 43 of file solvable.cc.

◆ poolFromType() [10/10]

template<>
const Pool & zyppng::sat::detail::poolFromType ( const Solvable & s)

Definition at line 52 of file solvable.cc.

◆ isDepMarkerId()

Test for internal ids satlib includes in dependencies.

Definition at line 57 of file PoolDefines.h.

Variable Documentation

◆ has_satSolvable_v

template<typename T>
bool zyppng::sat::detail::has_satSolvable_v = std::is_detected_v<satSolvable_t, T>
constexpr

Definition at line 474 of file solvable.h.