index_traits.h File Reference

Go to the source code of this file.

Classes
struct	atermpp::detail::index_traits< Variable, KeyType, N >
	For several variable types in mCRL2 an implicit mapping of these variables to integers is available. This is done for efficiency reasons. Examples are: More...

Namespaces
namespace	atermpp
	The main namespace for the aterm++ library.
namespace	atermpp::detail

Functions
template<typename Variable , typename KeyType >
atermpp::unordered_map< KeyType, std::size_t > &	atermpp::detail::variable_index_map ()
template<typename Variable , typename KeyType >
std::stack< std::size_t > &	atermpp::detail::variable_map_free_numbers ()
template<typename Variable , typename KeyType >
std::mutex &	atermpp::detail::variable_mutex ()
template<typename Variable , typename KeyType >
std::size_t &	atermpp::detail::variable_map_max_index ()