parse.h File Reference

Parser for pbes expressions. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.
namespace	mcrl2::pbes_system::detail

Functions
pbes_expression	mcrl2::pbes_system::detail::parse_pbes_expression_new (const std::string &text)
untyped_pbes	mcrl2::pbes_system::detail::parse_pbes_new (const std::string &text)
void	mcrl2::pbes_system::detail::complete_pbes (pbes &x)
propositional_variable	mcrl2::pbes_system::detail::parse_propositional_variable (const std::string &text)
pbes_expression	mcrl2::pbes_system::detail::parse_pbes_expression (const std::string &text)
pbes	mcrl2::pbes_system::parse_pbes (std::istream &in)
std::istream &	mcrl2::pbes_system::operator>> (std::istream &from, pbes &result)
	Reads a PBES from an input stream.
pbes	mcrl2::pbes_system::parse_pbes (const std::string &text)
template<typename VariableContainer >
propositional_variable	mcrl2::pbes_system::parse_propositional_variable (const std::string &text, const VariableContainer &variables, const data::data_specification &dataspec=data::data_specification())
template<typename VariableContainer , typename PropositionalVariableContainer >
pbes_expression	mcrl2::pbes_system::parse_pbes_expression (const std::string &text, const data::data_specification &dataspec, const VariableContainer &variables, const PropositionalVariableContainer &propositional_variables, bool type_check=true, bool translate_user_notation=true, bool normalize_sorts=true)
	Parse a pbes expression. Throws an exception if something went wrong.
template<typename VariableContainer >
pbes_expression	mcrl2::pbes_system::parse_pbes_expression (const std::string &text, const pbes &pbesspec, const VariableContainer &variables, bool type_check=true, bool translate_user_notation=true, bool normalize_sorts=true)
	Parse a pbes expression. Throws an exception if something went wrong.

Detailed Description

Parser for pbes expressions.

Definition in file parse.h.