unordered_map_implementation.h File Reference

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::utilities

Macros
#define	MCRL2_UNORDERED_MAP_TEMPLATES   template<typename Key, typename T, typename Hash, typename Equals, typename Allocator, bool ThreadSafe, bool Resize>
#define	MCRL2_UNORDERED_MAP_CLASS   unordered_map<Key, T, Hash, Equals, Allocator, ThreadSafe, Resize>

Macro Definition Documentation

MCRL2_UNORDERED_MAP_CLASS

#define MCRL2_UNORDERED_MAP_CLASS   unordered_map<Key, T, Hash, Equals, Allocator, ThreadSafe, Resize>

Definition at line 17 of file unordered_map_implementation.h.

MCRL2_UNORDERED_MAP_TEMPLATES

#define MCRL2_UNORDERED_MAP_TEMPLATES   template<typename Key, typename T, typename Hash, typename Equals, typename Allocator, bool ThreadSafe, bool Resize>

Definition at line 16 of file unordered_map_implementation.h.