parse.h File Reference

Parse function for process specifications. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::process
	The main namespace for the Process library.
namespace	mcrl2::process::detail

Functions
process_expression	mcrl2::process::detail::parse_process_expression_new (const std::string &text)
process_specification	mcrl2::process::detail::parse_process_specification_new (const std::string &text)
void	mcrl2::process::detail::complete_process_specification (process_specification &x, bool alpha_reduce=false)
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.
process_specification	mcrl2::process::parse_process_specification (std::istream &in)
	Parses a process specification from an input stream.
process_specification	mcrl2::process::parse_process_specification (const std::string &spec_string)
	Parses a process specification from a string.
process_identifier	mcrl2::process::parse_process_identifier (std::string text, const data::data_specification &dataspec)
	Parses a process identifier.
process_expression	mcrl2::process::parse_process_expression (const std::string &text, const std::string &data_decl, const std::string &proc_decl)
	Parses and type checks a process expression.
process_expression	mcrl2::process::parse_process_expression (const std::string &text, const std::string &procspec_text)
	Parses and type checks a process expression.
template<typename VariableContainer >
process_expression	mcrl2::process::parse_process_expression (const std::string &text, const VariableContainer &variables, const process_specification &procspec)
	Parses and type checks a process expression. N.B. Very inefficient!
template<typename VariableContainer , typename ActionLabelContainer , typename ProcessIdentifierContainer >
process_expression	mcrl2::process::parse_process_expression (const std::string &text, const VariableContainer &variables=VariableContainer(), const data::data_specification &dataspec=data::data_specification(), const ActionLabelContainer &action_labels=std::vector< action_label >(), const ProcessIdentifierContainer &process_identifiers=ProcessIdentifierContainer(), const process_identifier *current_equation=nullptr)

Detailed Description

Parse function for process specifications.

Definition in file parse.h.