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

namespace	mcrl2::utilities

Macros
#define	MCRL2_UNORDERED_SET_TEMPLATES template<typename Key, typename Hash, typename Equals, typename Allocator, bool ThreadSafe, bool Resize>

#define	MCRL2_UNORDERED_SET_CLASS unordered_set<Key, Hash, Equals, Allocator, ThreadSafe, Resize>

Functions
float	mcrl2::utilities::bytes_to_megabytes (std::size_t bytes)

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 std::size_t	mcrl2::utilities::minimum_size = 4UL

Macro Definition Documentation

◆ MCRL2_UNORDERED_SET_CLASS

#define MCRL2_UNORDERED_SET_CLASS unordered_set<Key, Hash, Equals, Allocator, ThreadSafe, Resize>

#define MCRL2_UNORDERED_SET_TEMPLATES template<typename Key, typename Hash, typename Equals, typename Allocator, bool ThreadSafe, bool Resize>