shared_reference.h File Reference

Go to the source code of this file.

Classes
class	mcrl2::utilities::shared_reference_counted< T, ThreadSafe >
	Stores a reference count that can be incremented and decremented. More...
class	mcrl2::utilities::shared_reference< T >
	A reference counted reference to a shared_reference_counted object. 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	std
	STL namespace.

Functions
template<typename T >
void	std::swap (mcrl2::utilities::shared_reference< T > &a, mcrl2::utilities::shared_reference< T > &b) noexcept

Variables
static constexpr bool	mcrl2::utilities::EnableReferenceCountMetrics = false
	Enable to count the number of reference count changes.