mcrl2/core/parse.h

Include file:

#include "mcrl2/core/parse.h"

Parse mCRL2 specifications and expressions.

Classes

• mcrl2::core::parser_actions::collector
• mcrl2::core::default_parser_actions
• mcrl2::core::parse_node_exception
• mcrl2::core::parse_node_unexpected_exception
• mcrl2::core::parser_actions
• mcrl2::core::parser_actions::set_collector
• mcrl2::core::parser_actions::visitor

Functions

bool mcrl2::core::is_user_identifier(std::string const &s)

identifier_string mcrl2::core::parse_identifier(const std::string &text)

Parse an identifier.

void mcrl2::core::print_aterm(const atermpp::aterm_appl &x)

void mcrl2::core::print_aterm(const T&)