mcrl2::core::parse_node_unexpected_exception =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/core/parse.h .. cpp:class:: mcrl2::core::parse_node_unexpected_exception Private static member functions ------------------------------------------------------------------------------- .. cpp:function:: static std::string get_error_message(const parser &p, const parse_node &node) Public member functions ------------------------------------------------------------------------------- .. cpp:function:: parse_node_unexpected_exception(const parser &p, const parse_node &node)