mcrl2::core::detail::dparser_error_message_count< T > Struct Template Reference

#include <dparser.h>

Static Public Attributes
static std::size_t	value = 0
static std::size_t	max_value = 1

Detailed Description

template<class T>
struct mcrl2::core::detail::dparser_error_message_count< T >

Definition at line 40 of file dparser.h.

Member Data Documentation

max_value

template<class T >

std::size_t mcrl2::core::detail::dparser_error_message_count< T >::max_value = 1

static

Definition at line 43 of file dparser.h.

value

template<class T >

std::size_t mcrl2::core::detail::dparser_error_message_count< T >::value = 0

static

Definition at line 42 of file dparser.h.

---

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

• core/include/mcrl2/core/dparser.h