Include file:
#include "mcrl2/lps/parse.h"
add your file description here.
mcrl2::lps::
parse_action
(const std::string &text, const process::action_label_list &action_decls, const data::data_specification &data_spec = data::detail::default_specification())¶Parses an action from a string.
Parameters:
Returns: An action exception * mcrl2::runtime_error when the input does not match the syntax of an action.
mcrl2::lps::
parse_action_rename_specification
(const std::string &spec_string, const lps::stochastic_specification &spec)¶Parses an action rename specification. Parses an acion rename specification. If the action rename specification contains data types that are not present in the data specification of spec they are added to it.
Parameters:
Returns: An action rename specification
mcrl2::lps::
parse_action_rename_specification
(std::istream &in, const lps::stochastic_specification &spec)¶Parses a process specification from an input stream.
Parameters:
Returns: The parse result
mcrl2::lps::
parse_linear_process_specification
(const std::string &text)¶Parses a linear process specification from a string.
Parameters:
Returns: The parsed specification exception * non_linear_process if a non-linear sub-expression is encountered.
mcrl2::lps::
parse_linear_process_specification
(std::istream &spec_stream)¶Parses a linear process specification from an input stream.
Parameters:
Returns: The parsed specification exception * non_linear_process if a non-linear sub-expression is encountered.
mcrl2::lps::
parse_lps
(const std::string &text, Specification &result)¶mcrl2::lps::
parse_lps
(std::istream&, Specification&)¶mcrl2::lps::
parse_lps
<specification>(std::istream &from, specification &result)¶mcrl2::lps::
parse_lps
<stochastic_specification>(std::istream &from, stochastic_specification &result)¶Parses a stochastic linear process specification from an input stream.
Parameters:
Returns: The parsed specification. exception * non_linear_process if a non-linear sub-expression is encountered.
mcrl2::lps::
parse_multi_action
(const std::string &text, const process::action_label_list &action_decls, const data::data_specification &data_spec = data::detail::default_specification())¶Parses a multi_action from a string.
Parameters:
Returns: The parsed multi_actionexception * mcrl2::runtime_error when the input does not match the syntax of a multi action.
mcrl2::lps::
parse_multi_action
(const std::string &text, multi_action_type_checker &typechecker, const data::data_specification &data_spec = data::detail::default_specification())¶Parses a multi_action from a string.
Parameters:
Returns: The parsed multi_actionexception * mcrl2::runtime_error when the input does not match the syntax of a multi action.
mcrl2::lps::
parse_multi_action
(std::stringstream &in, const process::action_label_list &action_decls, const data::data_specification &data_spec = data::detail::default_specification())¶Parses a multi_action from an input stream.
Parameters:
Returns: The parsed multi_actionexception * mcrl2::runtime_error when the input does not match the syntax of a multi action.
mcrl2::lps::
parse_multi_action
(std::stringstream &in, multi_action_type_checker &typechecker, const data::data_specification &data_spec = data::detail::default_specification())¶Parses a multi_action from an input stream.
Parameters:
Returns: The parsed multi_actionexception * mcrl2::runtime_error when the input does not match the syntax of a multi action.