mcrl2::core::parse_node_unexpected_exception

Include file:

#include "mcrl2/core/parse.h

class mcrl2::core::parse_node_unexpected_exception

Private static member functions

static std::string get_error_message(const parser &p, const parse_node &node)

Public member functions

parse_node_unexpected_exception(const parser &p, const parse_node &node)