parse.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::state_formulas::parse_state_formula_options

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::action_formulas
namespace	mcrl2::action_formulas::detail
namespace	mcrl2::regular_formulas
namespace	mcrl2::regular_formulas::detail
namespace	mcrl2::state_formulas
namespace	mcrl2::state_formulas::detail

Functions
action_formula	mcrl2::action_formulas::detail::parse_action_formula (const std::string &text)
template<typename ActionLabelContainer = std::vector<state_formulas::variable>, typename VariableContainer = std::vector<data::variable>>
action_formula	mcrl2::action_formulas::parse_action_formula (const std::string &text, const data::data_specification &dataspec, const VariableContainer &variables, const ActionLabelContainer &actions)
action_formula	mcrl2::action_formulas::parse_action_formula (const std::string &text, const lps::stochastic_specification &lpsspec)
regular_formula	mcrl2::regular_formulas::detail::parse_regular_formula (const std::string &text)
template<typename ActionLabelContainer = std::vector<state_formulas::variable>, typename VariableContainer = std::vector<data::variable>>
regular_formula	mcrl2::regular_formulas::parse_regular_formula (const std::string &text, const data::data_specification &dataspec, const VariableContainer &variables, const ActionLabelContainer &actions)
regular_formula	mcrl2::regular_formulas::parse_regular_formula (const std::string &text, const lps::stochastic_specification &lpsspec)
state_formula	mcrl2::state_formulas::detail::parse_state_formula (const std::string &text)
state_formula_specification	mcrl2::state_formulas::detail::parse_state_formula_specification (const std::string &text)
state_formula	mcrl2::state_formulas::post_process_state_formula (const state_formula &formula, parse_state_formula_options options=parse_state_formula_options())
state_formula	mcrl2::state_formulas::parse_state_formula (const std::string &text, lps::stochastic_specification &lpsspec, const bool formula_is_quantitative, parse_state_formula_options options=parse_state_formula_options())
	Parses a state formula from an input stream.
state_formula	mcrl2::state_formulas::parse_state_formula (const std::string &text, lps::specification &lpsspec, const bool formula_is_quantitative, parse_state_formula_options options=parse_state_formula_options())
	Parses a state formula from an input stream.
state_formula	mcrl2::state_formulas::parse_state_formula (std::istream &in, lps::stochastic_specification &lpsspec, const bool formula_is_quantitative, parse_state_formula_options options=parse_state_formula_options())
	Parses a state formula from an input stream.
state_formula	mcrl2::state_formulas::parse_state_formula (std::istream &in, lps::specification &lpsspec, const bool formula_is_quantitative, parse_state_formula_options options=parse_state_formula_options())
	Parses a state formula from an input stream.
state_formula_specification	mcrl2::state_formulas::parse_state_formula_specification (const std::string &text, const bool formula_is_quantitative, parse_state_formula_options options=parse_state_formula_options())
	Parses a state formula specification from a string.
state_formula_specification	mcrl2::state_formulas::parse_state_formula_specification (std::istream &in, const bool formula_is_quantitative, parse_state_formula_options options=parse_state_formula_options())
	Parses a state formula specification from an input stream.
state_formula_specification	mcrl2::state_formulas::parse_state_formula_specification (const std::string &text, lps::stochastic_specification &lpsspec, const bool formula_is_quantitative, parse_state_formula_options options=parse_state_formula_options())
	Parses a state formula specification from a string.
state_formula_specification	mcrl2::state_formulas::parse_state_formula_specification (const std::string &text, lps::specification &lpsspec, const bool formula_is_quantitative, parse_state_formula_options options=parse_state_formula_options())
	Parses a state formula specification from a string.
state_formula_specification	mcrl2::state_formulas::parse_state_formula_specification (std::istream &in, lps::stochastic_specification &lpsspec, const bool formula_is_quantitative, parse_state_formula_options options=parse_state_formula_options())
	Parses a state formula specification from an input stream.
state_formula_specification	mcrl2::state_formulas::parse_state_formula_specification (std::istream &in, lps::specification &lpsspec, const bool formula_is_quantitative, parse_state_formula_options options=parse_state_formula_options())
	Parses a state formula specification from an input stream.

Detailed Description

add your file description here.

Definition in file parse.h.