zyppng::sat::EvaluatedSolvableSpec Class Reference

A SolvableSpec that has been evaluated against a specific Pool. More...

#include <zypp/ng/sat/solvablespec.h>

Public Types
using	SolvIdSet = std::unordered_set< detail::SolvableIdType >

Public Member Functions
	EvaluatedSolvableSpec (PreparedPool &pp_r, const SolvableSpec &spec_r)
	Construct by evaluating spec_r against pp_r. More...
	EvaluatedSolvableSpec (const EvaluatedSolvableSpec &)=default
	EvaluatedSolvableSpec (EvaluatedSolvableSpec &&)=default
EvaluatedSolvableSpec &	operator= (const EvaluatedSolvableSpec &)=default
EvaluatedSolvableSpec &	operator= (EvaluatedSolvableSpec &&)=default
bool	empty () const
	Whether no solvable matched the spec at construction time. More...
bool	contains (const Solvable &solv_r) const
	O(1) membership test — no pool access required. More...
const SolvIdSet &	ids () const
	Direct access to the resolved id set (e.g. More...

Private Attributes
SolvIdSet	_ids

Detailed Description

A SolvableSpec that has been evaluated against a specific Pool.

Design

This is the explicit, pool-bound counterpart to the pure-data SolvableSpec. Construction takes an explicit Pool& and immediately resolves the spec into a flat SolvableIdType hash set. Subsequent contains() calls are O(1) with no pool access required.

The pool-binding is visible in the type: an EvaluatedSolvableSpec is a snapshot of the pool at construction time. If the pool changes, construct a new instance. There is no setDirty() / lazy-rebuild mechanism by design.

Relationship to SolvableSpec

SolvableSpec spec;
spec.parse( "provides:kernel-default" );
// ... later, with a pool in hand:
EvaluatedSolvableSpec eval( pool, spec );
if ( eval.contains( solv ) ) { ... }   // O(1), no pool needed

Definition at line 174 of file solvablespec.h.

Member Typedef Documentation

SolvIdSet

using zyppng::sat::EvaluatedSolvableSpec::SolvIdSet = std::unordered_set<detail::SolvableIdType>

Definition at line 177 of file solvablespec.h.

Constructor & Destructor Documentation

EvaluatedSolvableSpec() [1/3]

zyppng::sat::EvaluatedSolvableSpec::EvaluatedSolvableSpec	(	PreparedPool &	pp_r,
		const SolvableSpec &	spec_r
	)

Construct by evaluating spec_r against pp_r.

Definition at line 84 of file solvablespec.cc.

EvaluatedSolvableSpec() [2/3]

zyppng::sat::EvaluatedSolvableSpec::EvaluatedSolvableSpec ( const EvaluatedSolvableSpec &  )

default

EvaluatedSolvableSpec() [3/3]

zyppng::sat::EvaluatedSolvableSpec::EvaluatedSolvableSpec ( EvaluatedSolvableSpec &&  )

default

Member Function Documentation

operator=() [1/2]

EvaluatedSolvableSpec& zyppng::sat::EvaluatedSolvableSpec::operator= ( const EvaluatedSolvableSpec &  )

default

operator=() [2/2]

EvaluatedSolvableSpec& zyppng::sat::EvaluatedSolvableSpec::operator= ( EvaluatedSolvableSpec &&  )

default

empty()

bool zyppng::sat::EvaluatedSolvableSpec::empty ( ) const

inline

Whether no solvable matched the spec at construction time.

Definition at line 188 of file solvablespec.h.

contains()

bool zyppng::sat::EvaluatedSolvableSpec::contains

(

const Solvable &

solv_r

)

const

O(1) membership test — no pool access required.

Definition at line 116 of file solvablespec.cc.

ids()

const SolvIdSet& zyppng::sat::EvaluatedSolvableSpec::ids ( ) const

inline

Direct access to the resolved id set (e.g.

for bulk operations).

Definition at line 195 of file solvablespec.h.

Member Data Documentation

_ids

SolvIdSet zyppng::sat::EvaluatedSolvableSpec::_ids

private

Definition at line 199 of file solvablespec.h.

---

The documentation for this class was generated from the following files:

• zypp/ng/sat/solvablespec.h
• zypp/ng/sat/solvablespec.cc