bucket_list.h File Reference

Go to the source code of this file.

Classes
struct	mcrl2::utilities::detail::Sentinel
class	mcrl2::utilities::detail::bucket_list< Key, Allocator >
	This essentially implements the std::forward_list, with the difference that it does not own the nodes in the list. It just keeps track of the list next pointers. More...
class	mcrl2::utilities::detail::bucket_list< Key, Allocator >::node_base
	The nodes of the bucket list without carrying any additional informations. Used to make no different between the head and the tail of the list. More...
class	mcrl2::utilities::detail::bucket_list< Key, Allocator >::node
	The nodes of the bucket list. More...
class	mcrl2::utilities::detail::bucket_list< Key, Allocator >::key_iterator< Constant >
	Iterator over all keys in a bucket list. 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

Functions
template<typename Allocator , typename ... Args>
auto	mcrl2::utilities::detail::allocate (Allocator &allocator, const Args &... args) -> decltype(allocator.allocate_args(args...))
	A compile time check for allocate_args in the given allocator, calls allocate(1) otherwise.
template<typename Allocator , typename ... Args>
auto	mcrl2::utilities::detail::allocate (Allocator &allocator, const Args &...) -> decltype(allocator.allocate(1))

Variables
static constexpr Sentinel	mcrl2::utilities::detail::EndIterator = {}
	A end of the iterator sentinel.