.. _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& mcrl2::core::variable_index_map() .. cpp:function:: std::stack& mcrl2::core::variable_map_free_numbers() .. cpp:function:: std::size_t& mcrl2::core::variable_map_max_index()