Include file:
#include "mcrl2/utilities/unordered_set.h"
mcrl2::utilities::detail::is_transparent
mcrl2::utilities::detail::is_transparent
mcrl2::utilities::unordered_map
mcrl2::utilities::unordered_set
mcrl2::utilities::unordered_set::unordered_set_iterator
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.
mcrl2::utilities::
BucketsPerMutex
¶Number of buckets per mutex.
mcrl2::utilities::
EnableLockfreeInsertion
¶Enables lockfree implementation of emplace.