mcrl2/utilities/unordered_map.h

Include file:

#include "mcrl2/utilities/unordered_map.h"

Classes

Typedefs

type mcrl2::utilities::unordered_map_large

typedef for unordered_map< Key, T, Hash, Equals, Allocator, ThreadSafe >

A specialization for large unordered maps that uses the block_allocator internally by default.