mcrl2/core/index_traits.h

Include file:

#include "mcrl2/core/index_traits.h"

add your file description here.

Classes

  • mcrl2::core::index_traits

Functions

std::unordered_map<KeyType, std::size_t> &mcrl2::core::variable_index_map()
std::stack<std::size_t> &mcrl2::core::variable_map_free_numbers()
std::size_t &mcrl2::core::variable_map_max_index()