mcrl2/core/dparser.h

Include file:

#include "mcrl2/core/dparser.h"

add your file description here.

Classes

• mcrl2::core::detail::dparser_error_message_count
• mcrl2::core::parse_node
• mcrl2::core::parser
• mcrl2::core::parser_table

Functions

std::size_t mcrl2::core::detail::get_dparser_error_message_count()

std::size_t mcrl2::core::detail::get_dparser_max_error_message_count()

void mcrl2::core::detail::increment_dparser_error_message_count()

void mcrl2::core::detail::reset_dparser_error_message_count()

void mcrl2::core::detail::set_dparser_max_error_message_count(std::size_t n)