TdZdd  1.1
A top-down/breadth-first decision diagram manipulation framework
Friends | List of all members
tdzdd::MemoryPool Class Reference

Memory pool. More...

#include <MemoryPool.hpp>

Friends

std::ostream & operator<< (std::ostream &os, MemoryPool const &o)
 Send an object to an output stream. More...
 

Detailed Description

Memory pool.

Allocated memory blocks are kept until the pool is destructed.

Definition at line 39 of file MemoryPool.hpp.

Friends And Related Function Documentation

◆ operator<<

std::ostream& operator<< ( std::ostream &  os,
MemoryPool const &  o 
)
friend

Send an object to an output stream.

Parameters
osthe output stream.
othe object.
Returns
os.

Definition at line 218 of file MemoryPool.hpp.


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