carl  24.04
Computer ARithmetic Library
carl::IDPool Class Reference

#include <IDPool.h>

Collaboration diagram for carl::IDPool:

Public Member Functions

std::size_t size () const
 
std::size_t largestID () const
 
std::size_t get ()
 
void free (std::size_t id)
 
void clear ()
 

Private Attributes

Bitset mFreeIDs = Bitset(true)
 
std::size_t mLargestID = 0
 

Friends

std::ostream & operator<< (std::ostream &os, const IDPool &p)
 

Detailed Description

Definition at line 11 of file IDPool.h.

Member Function Documentation

◆ clear()

void carl::IDPool::clear ( )
inline

Definition at line 46 of file IDPool.h.

◆ free()

void carl::IDPool::free ( std::size_t  id)
inline

Definition at line 41 of file IDPool.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ get()

std::size_t carl::IDPool::get ( )
inline

Definition at line 30 of file IDPool.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ largestID()

std::size_t carl::IDPool::largestID ( ) const
inline

Definition at line 26 of file IDPool.h.

Here is the caller graph for this function:

◆ size()

std::size_t carl::IDPool::size ( ) const
inline

Definition at line 22 of file IDPool.h.

Here is the call graph for this function:

Friends And Related Function Documentation

◆ operator<<

std::ostream& operator<< ( std::ostream &  os,
const IDPool p 
)
friend

Definition at line 50 of file IDPool.h.

Field Documentation

◆ mFreeIDs

Bitset carl::IDPool::mFreeIDs = Bitset(true)
private

Definition at line 13 of file IDPool.h.

◆ mLargestID

std::size_t carl::IDPool::mLargestID = 0
private

Definition at line 14 of file IDPool.h.


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