mcrl2/utilities/shared_reference.h

Include file:

#include "mcrl2/utilities/shared_reference.h"

Variables

constexpr bool mcrl2::utilities::EnableReferenceCountMetrics

Enable to count the number of reference count changes.

Functions

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