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

Macros
#define	INDEXED_SET_TEMPLATE template <class Key, bool ThreadSafe, typename Hash, typename Equals, typename Allocator, typename KeyTable>

#define	INDEXED_SET indexed_set<Key, ThreadSafe, Hash, Equals, Allocator, KeyTable>

Functions
static constexpr std::size_t	mcrl2::utilities::detail::EMPTY (std::numeric_limits< std::size_t >::max())
	in the hashtable we use the following constant to indicate free positions.

static constexpr std::size_t	mcrl2::utilities::detail::RESERVED (std::numeric_limits< std::size_t >::max() -1)

Variables
static const std::size_t	mcrl2::utilities::detail::STEP = 1
	The position on which the next hash entry is searched.

static constexpr float	mcrl2::utilities::detail::max_load_factor = 0.6f
	The load factor before the hash table is resized.

static constexpr std::size_t	mcrl2::utilities::detail::PRIME_NUMBER = 999953

static constexpr std::size_t	mcrl2::utilities::detail::minimal_hashtable_size = 16

static constexpr std::size_t	mcrl2::utilities::detail::RESERVATION_FRACTION = 8

Macro Definition Documentation

◆ INDEXED_SET

#define INDEXED_SET indexed_set<Key, ThreadSafe, Hash, Equals, Allocator, KeyTable>

Definition at line 53 of file indexed_set.h.

#define INDEXED_SET_TEMPLATE template <class Key, bool ThreadSafe, typename Hash, typename Equals, typename Allocator, typename KeyTable>

Definition at line 52 of file indexed_set.h.