parse.h File Reference

add your file description here. 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::lps
	The main namespace for the LPS library.
namespace	mcrl2::lps::detail

Functions
process::untyped_multi_action	mcrl2::lps::detail::parse_multi_action_new (const std::string &text)
multi_action	mcrl2::lps::detail::complete_multi_action (process::untyped_multi_action &x, multi_action_type_checker &typechecker, const data::data_specification &data_spec=data::detail::default_specification())
multi_action	mcrl2::lps::detail::complete_multi_action (process::untyped_multi_action &x, const process::action_label_list &action_decls, const data::data_specification &data_spec=data::detail::default_specification())
action_rename_specification	mcrl2::lps::detail::parse_action_rename_specification_new (const std::string &text)
void	mcrl2::lps::detail::complete_action_rename_specification (action_rename_specification &x, const lps::stochastic_specification &spec)
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.
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.
multi_action	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.
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.
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.
action_rename_specification	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.
specification	mcrl2::lps::parse_linear_process_specification (std::istream &spec_stream)
	Parses a linear process specification from an input stream.
specification	mcrl2::lps::parse_linear_process_specification (const std::string &text)
	Parses a linear process specification from a string.
template<typename Specification >
void	mcrl2::lps::parse_lps (std::istream &, Specification &)
template<>
void	mcrl2::lps::parse_lps< specification > (std::istream &from, specification &result)
template<>
void	mcrl2::lps::parse_lps< stochastic_specification > (std::istream &from, stochastic_specification &result)
	Parses a stochastic linear process specification from an input stream.
template<typename Specification >
void	mcrl2::lps::parse_lps (const std::string &text, Specification &result)
process::action	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.

Detailed Description

add your file description here.

Definition in file parse.h.