.. _index_traits.h:
  
mcrl2/core/index_traits.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/core/index_traits.h"

add your file description here. 




Classes
-------

* :cpp:class:`mcrl2::core::index_traits`

Functions
-------------------------------------------------------------------------------

.. cpp:function:: std::unordered_map<KeyType, std::size_t>& mcrl2::core::variable_index_map()
  
  

  

.. cpp:function:: std::stack<std::size_t>& mcrl2::core::variable_map_free_numbers()
  
  

  

.. cpp:function:: std::size_t& mcrl2::core::variable_map_max_index()