mcrl2::utilities::stack_array
===============================================================================


Include file:

.. code-block:: c++

   #include "mcrl2/utilities/stack_array.h

.. cpp:class:: mcrl2::utilities::stack_array

  Provides (a subset of) the interface of std::array<T> for a portion of preallocated memory. Can be used to interface with a portion of memory allocated on the stack,. 

  MCRL2_DECLARE_STACK_ARRAY. The advantage over MCRL2_SPECIFIC_STACK_ALLOCATOR is that the lifetime of the underlying objects is bounded by the lifetime of the stack_array. 

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

.. cpp:type:: mcrl2::utilities::stack_array::const_iterator

  typedef for :cpp:type:`const T *`
  
  

  

.. cpp:type:: mcrl2::utilities::stack_array::const_reverse_iterator

  typedef for :cpp:type:`std::reverse_iterator\< const_iterator >`
  
  

  

.. cpp:type:: mcrl2::utilities::stack_array::iterator

  typedef for :cpp:type:`T *`
  
  

  

.. cpp:type:: mcrl2::utilities::stack_array::reverse_iterator

  typedef for :cpp:type:`std::reverse_iterator\< iterator >`
  
  

  

Private attributes
-------------------------------------------------------------------------------

.. cpp:member:: T * mcrl2::utilities::stack_array::m_reserved_memory
  
  

  

.. cpp:member:: std::size_t mcrl2::utilities::stack_array::m_size
  
  

  

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

.. cpp:function:: iterator begin()
  
  

  

.. cpp:function:: const_iterator begin() const
  
  

  

.. cpp:function:: T* data()
  
  

  

.. cpp:function:: const T* data() const
  
  

  

.. cpp:function:: bool empty() const
  
  

  

.. cpp:function:: iterator end()
  
  

  

.. cpp:function:: const_iterator end() const
  
  

  

.. cpp:function:: std::size_t max_size() const
  
  

  

.. cpp:function:: T& operator[](std::size_t index)
  
  

  

.. cpp:function:: reverse_iterator rbegin()
  
  

  

.. cpp:function:: const_reverse_iterator rbegin() const
  
  

  

.. cpp:function:: reverse_iterator rend()
  
  

  

.. cpp:function:: const_reverse_iterator rend() const
  
  

  

.. cpp:function:: std::size_t size() const
  
  

  

.. cpp:function:: stack_array(T *reserved_memory, std::size_t N)
  
  The given pointer should be able to hold N element of sizeof(T) bytes. 

  

.. cpp:function:: ~stack_array()