spot::fixed_size_pool< Kind > Class Template Reference

A fixed-size memory pool implementation. More...

#include <spot/misc/fixpool.hh>

Inheritance diagram for spot::fixed_size_pool< Kind >:

Collaboration diagram for spot::fixed_size_pool< Kind >:

Public Member Functions
	fixed_size_pool (size_t size)
	Create a pool allocating objects of size bytes. More...
	~fixed_size_pool ()
	Free any memory allocated by this pool. More...
void *	allocate ()
	Allocate size bytes of memory. More...
void	deallocate (void *ptr)
	Recycle size bytes of memory. More...

Detailed Description

template<pool_type Kind>
class spot::fixed_size_pool< Kind >

A fixed-size memory pool implementation.

Constructor & Destructor Documentation

fixed_size_pool()

template<pool_type Kind>

spot::fixed_size_pool< Kind >::fixed_size_pool ( size_t  size )

inline

Create a pool allocating objects of size bytes.

References spot::clz().

~fixed_size_pool()

template<pool_type Kind>

spot::fixed_size_pool< Kind >::~fixed_size_pool ( )

inline

Free any memory allocated by this pool.

Member Function Documentation

allocate()

template<pool_type Kind>

void* spot::fixed_size_pool< Kind >::allocate ( )

inline

Allocate size bytes of memory.

Referenced by spot::iterable_uf< State, StateHash, StateEqual >::make_claim(), and spot::iterable_uf_ec< State, StateHash, StateEqual >::make_claim().

---

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

• spot/misc/fixpool.hh