free_list.h File Reference

Go to the source code of this file.

Classes
class	mcrl2::utilities::detail::free_list< Element >
	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. Furthermore this assumes that the objects in the list will not be accessed, so it stores the next pointer within the Element. More...
union	mcrl2::utilities::detail::free_list< Element >::slot
	The nodes of the free list without. More...
class	mcrl2::utilities::detail::free_list< Element >::slot_iterator< Constant >
	Iterator over all keys in a bucket list. More...
struct	mcrl2::utilities::detail::free_list< Element >::slot_iterator< Constant >::Sentinel

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