carl  24.04
Computer ARithmetic Library
carl::pool Namespace Reference

Data Structures

class  LocalPool
 
class  LocalPoolElementWrapper
 
class  LocalPoolElement
 
class  Pool
 
class  PoolElementWrapper
 
class  PoolElement
 
class  RehashPolicy
 Mimics stdlibs default rehash policy for hashtables. More...
 

Functions

template<class Content >
std::size_t hash_value (const LocalPoolElementWrapper< Content > &wrapper)
 
template<class Content >
bool operator== (const LocalPoolElementWrapper< Content > &c1, const LocalPoolElementWrapper< Content > &c2)
 
template<class Content >
std::size_t hash_value (const PoolElementWrapper< Content > &wrapper)
 
template<class Content >
bool operator== (const PoolElementWrapper< Content > &c1, const PoolElementWrapper< Content > &c2)
 

Function Documentation

◆ hash_value() [1/2]

template<class Content >
std::size_t carl::pool::hash_value ( const LocalPoolElementWrapper< Content > &  wrapper)
inline

Definition at line 41 of file LocalPool.h.

Here is the call graph for this function:

◆ hash_value() [2/2]

template<class Content >
std::size_t carl::pool::hash_value ( const PoolElementWrapper< Content > &  wrapper)
inline

Definition at line 41 of file Pool.h.

Here is the call graph for this function:

◆ operator==() [1/2]

template<class Content >
bool carl::pool::operator== ( const LocalPoolElementWrapper< Content > &  c1,
const LocalPoolElementWrapper< Content > &  c2 
)

Definition at line 46 of file LocalPool.h.

Here is the call graph for this function:

◆ operator==() [2/2]

template<class Content >
bool carl::pool::operator== ( const PoolElementWrapper< Content > &  c1,
const PoolElementWrapper< Content > &  c2 
)

Definition at line 46 of file Pool.h.

Here is the call graph for this function: