mcrl2/utilities/unordered_set.h

Include file:

#include "mcrl2/utilities/unordered_set.h"

Classes

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.

Variables

static constexpr long mcrl2::utilities::BucketsPerMutex

Number of buckets per mutex.

static constexpr bool mcrl2::utilities::EnableLockfreeInsertion

Enables lockfree implementation of emplace.

Functions

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

Prints various information for unordered_set like data structures.

Typedefs

type mcrl2::utilities::detail::void_t

typedef for void