block_allocator.h File Reference

Go to the source code of this file.

Classes
class	mcrl2::utilities::block_allocator< T, ElementsPerBlock, ThreadSafe >
	The block allocator provides the allocator interface for the memory pool class. As such is can be used as an allocator for allocator aware storages. More...
struct	mcrl2::utilities::block_allocator< T, ElementsPerBlock, ThreadSafe >::rebind< U >

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::utilities