tagged_pointer.h File Reference

Go to the source code of this file.

Classes
class	mcrl2::utilities::tagged_pointer< T >
	A pointer storage object that uses a least significant bit as a mark. Can be used by objects that are 8 bytes aligned in memory. More...
struct	std::hash< mcrl2::utilities::tagged_pointer< T > >
	specialization of the standard std::hash function. 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 >
T *	mcrl2::utilities::tag (const T *p)
	Applies a tag to a pointer.
template<typename T >
T *	mcrl2::utilities::tag (const detail::atomic_wrapper< T * > &p)
template<typename T >
T *	mcrl2::utilities::pointer (const T *p)
template<typename T >
T *	mcrl2::utilities::pointer (const detail::atomic_wrapper< T * > &p)
template<typename T >
bool	mcrl2::utilities::tagged (const T *p)
template<typename T >
bool	mcrl2::utilities::tagged (const detail::atomic_wrapper< T * > &p)