mcrl2/utilities/tagged_pointer.h

Include file:

#include "mcrl2/utilities/tagged_pointer.h"

Classes

• std::hash
• mcrl2::utilities::tagged_pointer

Functions

T *mcrl2::utilities::pointer(const T *p)

Returns: The original pointer that can be deferenced.

T *mcrl2::utilities::tag(const T *p)

Applies a tag to a pointer.

Returns: A pointer where one bit that is unused is set to one.

bool mcrl2::utilities::tagged(const T *p)

Returns: True iff this pointer has been tagged.