TdZdd
1.1
A top-down/breadth-first decision diagram manipulation framework
|
Memory pool. More...
#include <MemoryPool.hpp>
Friends | |
std::ostream & | operator<< (std::ostream &os, MemoryPool const &o) |
Send an object to an output stream. More... | |
Memory pool.
Allocated memory blocks are kept until the pool is destructed.
Definition at line 39 of file MemoryPool.hpp.
|
friend |
Send an object to an output stream.
os | the output stream. |
o | the object. |
Definition at line 218 of file MemoryPool.hpp.