carl  24.04
Computer ARithmetic Library
Public Member Functions | Private Attributes
carl::pool::LocalPoolElement< Content > Class Template Reference

#include <LocalPool.h>

Collaboration diagram for carl::pool::LocalPoolElement< Content >:
Collaboration graph
[legend]

Public Member Functions

template<typename Key >
 LocalPoolElement (std::shared_ptr< LocalPool< Content >> &pool, Key &&k)
 
const Content & operator() () const
 
const Content & operator* () const
 
const Content * operator-> () const
 
auto id () const
 
bool operator== (const LocalPoolElement &other) const
 

Private Attributes

std::shared_ptr< LocalPoolElementWrapper< Content > > m_content
 

Detailed Description

template<class Content>
class carl::pool::LocalPoolElement< Content >

Definition at line 146 of file LocalPool.h.

Constructor & Destructor Documentation

◆ LocalPoolElement()

template<class Content >
template<typename Key >
carl::pool::LocalPoolElement< Content >::LocalPoolElement ( std::shared_ptr< LocalPool< Content >> &  pool,
Key &&  k 
)
inline

Definition at line 151 of file LocalPool.h.

Member Function Documentation

◆ id()

template<class Content >
auto carl::pool::LocalPoolElement< Content >::id ( ) const
inline

Definition at line 163 of file LocalPool.h.

◆ operator()()

template<class Content >
const Content& carl::pool::LocalPoolElement< Content >::operator() ( ) const
inline

Definition at line 153 of file LocalPool.h.

◆ operator*()

template<class Content >
const Content& carl::pool::LocalPoolElement< Content >::operator* ( ) const
inline

Definition at line 156 of file LocalPool.h.

◆ operator->()

template<class Content >
const Content* carl::pool::LocalPoolElement< Content >::operator-> ( ) const
inline

Definition at line 159 of file LocalPool.h.

◆ operator==()

template<class Content >
bool carl::pool::LocalPoolElement< Content >::operator== ( const LocalPoolElement< Content > &  other) const
inline

Definition at line 167 of file LocalPool.h.

Field Documentation

◆ m_content

template<class Content >
std::shared_ptr<LocalPoolElementWrapper<Content> > carl::pool::LocalPoolElement< Content >::m_content
private

Definition at line 147 of file LocalPool.h.

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