unordered_set.h File Reference

Go to the source code of this file.

Classes
struct	mcrl2::utilities::detail::is_transparent< X, typename >
struct	mcrl2::utilities::detail::is_transparent< X, void_t< typename X::is_transparent > >
class	mcrl2::utilities::unordered_set< Key, Hash, Equals, Allocator, ThreadSafe, Resize >
	A unordered_set with a subset of the interface of std::unordered_set that only stores a single pointer for each element. More...
class	mcrl2::utilities::unordered_set< Key, Hash, Equals, Allocator, ThreadSafe, Resize >::unordered_set_iterator< Bucket, Constant >
	An iterator over all elements in the unordered set. More...

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

Typedefs
template<typename... >
using	mcrl2::utilities::detail::void_t = void
template<typename Key , typename Hash = std::hash<Key>, typename Equals = std::equal_to<Key>, typename Allocator = mcrl2::utilities::block_allocator<Key>, bool ThreadSafe = false>
using	mcrl2::utilities::unordered_set_large = unordered_set< Key, Hash, Equals, Allocator, ThreadSafe >
	A specialization for large unordered sets that uses the block_allocator internally by default.

Functions
template<typename T >
void	mcrl2::utilities::print_performance_statistics (const T &unordered_set)
	Prints various information for unordered_set like data structures.

Variables
static constexpr bool	mcrl2::utilities::EnableLockfreeInsertion = true
	Enables lockfree implementation of emplace.
static constexpr long	mcrl2::utilities::BucketsPerMutex = 256
	Number of buckets per mutex.