mcrl2/process/action_parse.h

Include file:

#include "mcrl2/process/action_parse.h"

add your file description here.

Classes

  • mcrl2::process::detail::action_actions

Functions

process::action_label_list mcrl2::process::parse_action_declaration(const std::string &text, const data::data_specification &data_spec = data::detail::default_specification())

Parses an action declaration from a string.

Parameters:

  • text A string containing an action declaration
  • data_spec A data specification used for sort normalization

Returns: A list of action labels exception * mcrl2::runtime_error when the input does not match the syntax of an action declaration.