mcrl2/utilities/unordered_set.h

Include file:

#include "mcrl2/utilities/unordered_set.h"

Classes

• mcrl2::utilities::unordered_set::is_transparent

• mcrl2::utilities::unordered_set::is_transparent

• mcrl2::utilities::unordered_map

• mcrl2::utilities::unordered_set

• mcrl2::utilities::unordered_set::unordered_set_iterator

Typedefs

type mcrl2::utilities::unordered_set_large

typedef for unordered_set< Key, Hash, Equals, Allocator, ThreadSafe >

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

Functions

void mcrl2::utilities::print_performance_statistics(const T &unordered_set)

Prints various information for unordered_set like data structures.