mcrl2::utilities::block_allocator
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/utilities/block_allocator.h

.. cpp:class:: mcrl2::utilities::block_allocator

  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. 

  Also provides several non-standard allocate functions specifically for the term pool. 

Private types
-------------------------------------------------------------------------------

.. cpp:type:: mcrl2::utilities::block_allocator::super

  typedef for :cpp:type:`memory_pool\< T, ElementsPerBlock, ThreadSafe >`
  
  

  

Public types
-------------------------------------------------------------------------------

.. cpp:type:: mcrl2::utilities::block_allocator::difference_type

  typedef for :cpp:type:`std::ptrdiff_t`
  
  

  

.. cpp:type:: mcrl2::utilities::block_allocator::size_type

  typedef for :cpp:type:`std::size_t`
  
  

  

.. cpp:type:: mcrl2::utilities::block_allocator::value_type

  typedef for :cpp:type:`T`
  
  

  

Public member functions
-------------------------------------------------------------------------------

.. cpp:function:: T* allocate(size_type n, const void *hint=nullptr)
  
  

  The unused parameter is to make the interface equivalent to the allocator. 

.. cpp:function:: block_allocator()=default
  
  

  

.. cpp:function:: block_allocator(block_allocator &&)=default
  
  

  

.. cpp:function:: void deallocate(T *p, size_type)
  
  

  The unused parameter is to make the interface equivalent to the allocator. 

.. cpp:function:: block_allocator& operator=(block_allocator &&)=default