.. _parse.h:
  
mcrl2/core/parse.h
===============================================================================

Include file: 

.. code-block:: c++ 

   #include "mcrl2/core/parse.h"

Parse mCRL2 specifications and expressions. 




Classes
-------

* :cpp:class:`mcrl2::core::parser_actions::collector`

* :cpp:class:`mcrl2::core::default_parser_actions`

* :cpp:class:`mcrl2::core::parse_node_exception`

* :cpp:class:`mcrl2::core::parse_node_unexpected_exception`

* :cpp:class:`mcrl2::core::parser_actions`

* :cpp:class:`mcrl2::core::parser_actions::set_collector`

* :cpp:class:`mcrl2::core::parser_actions::visitor`

Functions
-------------------------------------------------------------------------------

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

  

.. cpp:function:: identifier_string mcrl2::core::parse_identifier(const std::string &text)
  
  Parse an identifier. 

  

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

  

.. cpp:function:: void mcrl2::core::print_aterm(const T &)