mcrl2::data::detail::rewrite_statistics< T > Struct Template Reference

#include <rewrite_statistics.h>

Static Public Attributes
static std::size_t	rewrite_count = 0

Detailed Description

template<class T>
struct mcrl2::data::detail::rewrite_statistics< T >

Definition at line 21 of file rewrite_statistics.h.

Member Data Documentation

rewrite_count

template<class T >

std::size_t mcrl2::data::detail::rewrite_statistics< T >::rewrite_count = 0

static

Definition at line 23 of file rewrite_statistics.h.

---

The documentation for this struct was generated from the following file:

• data/include/mcrl2/data/detail/rewrite_statistics.h