mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::bisim_dnj::my_pool< T, BLOCKSIZE >::pool_block_t Class Reference

Public Member Functions

 pool_block_t (pool_block_t *const new_next_block)
 

Public Attributes

char data [BLOCKSIZE - sizeof(pool_block_t *)]
 
pool_block_tnext_block
 

Detailed Description

template<class T, size_t BLOCKSIZE = 1000>
class mcrl2::lts::detail::bisim_dnj::my_pool< T, BLOCKSIZE >::pool_block_t

Definition at line 219 of file liblts_bisim_dnj.h.

Constructor & Destructor Documentation

◆ pool_block_t()

template<class T , size_t BLOCKSIZE = 1000>
mcrl2::lts::detail::bisim_dnj::my_pool< T, BLOCKSIZE >::pool_block_t::pool_block_t ( pool_block_t *const  new_next_block)
inline

Definition at line 225 of file liblts_bisim_dnj.h.

Member Data Documentation

◆ data

template<class T , size_t BLOCKSIZE = 1000>
char mcrl2::lts::detail::bisim_dnj::my_pool< T, BLOCKSIZE >::pool_block_t::data[BLOCKSIZE - sizeof(pool_block_t *)]

Definition at line 222 of file liblts_bisim_dnj.h.

◆ next_block

template<class T , size_t BLOCKSIZE = 1000>
pool_block_t* mcrl2::lts::detail::bisim_dnj::my_pool< T, BLOCKSIZE >::pool_block_t::next_block

Definition at line 223 of file liblts_bisim_dnj.h.


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