mcrl2/core/parse.h

Include file:

#include "mcrl2/core/parse.h"

Parse mCRL2 specifications and expressions.

Classes

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 T&)
void mcrl2::core::print_aterm(const atermpp::aterm_appl &x)