pbes.cpp File Reference

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::algorithms
namespace	mcrl2::pbes_system::detail

Functions
std::string	mcrl2::pbes_system::pp (const pbes_system::pbes_equation_vector &x, bool arg0)
std::string	mcrl2::pbes_system::pp (const pbes_system::pbes_expression_list &x, bool arg0)
std::string	mcrl2::pbes_system::pp (const pbes_system::pbes_expression_vector &x, bool arg0)
std::string	mcrl2::pbes_system::pp (const pbes_system::propositional_variable_list &x, bool arg0)
std::string	mcrl2::pbes_system::pp (const pbes_system::propositional_variable_vector &x, bool arg0)
std::string	mcrl2::pbes_system::pp (const pbes_system::propositional_variable_instantiation_list &x, bool arg0)
std::string	mcrl2::pbes_system::pp (const pbes_system::propositional_variable_instantiation_vector &x, bool arg0)
std::string	mcrl2::pbes_system::pp (const pbes_system::and_ &x, bool arg0)
std::string	mcrl2::pbes_system::pp (const pbes_system::exists &x, bool arg0)
std::string	mcrl2::pbes_system::pp (const pbes_system::fixpoint_symbol &x, bool arg0)
std::string	mcrl2::pbes_system::pp (const pbes_system::forall &x, bool arg0)
std::string	mcrl2::pbes_system::pp (const pbes_system::imp &x, bool arg0)
std::string	mcrl2::pbes_system::pp (const pbes_system::not_ &x, bool arg0)
std::string	mcrl2::pbes_system::pp (const pbes_system::or_ &x, bool arg0)
std::string	mcrl2::pbes_system::pp (const pbes_system::pbes &x, bool arg0)
std::string	mcrl2::pbes_system::pp (const pbes_system::pbes_equation &x, bool arg0)
std::string	mcrl2::pbes_system::pp (const pbes_system::pbes_expression &x, bool arg0)
std::string	mcrl2::pbes_system::pp (const pbes_system::propositional_variable &x, bool arg0)
std::string	mcrl2::pbes_system::pp (const pbes_system::propositional_variable_instantiation &x, bool arg0)
void	mcrl2::pbes_system::normalize_sorts (pbes_system::pbes_equation_vector &x, const data::sort_specification &sortspec)
void	mcrl2::pbes_system::normalize_sorts (pbes_system::pbes &x, const data::sort_specification &)
pbes_system::pbes_expression	mcrl2::pbes_system::normalize_sorts (const pbes_system::pbes_expression &x, const data::sort_specification &sortspec)
void	mcrl2::pbes_system::translate_user_notation (pbes_system::pbes &x)
pbes_system::pbes_expression	mcrl2::pbes_system::translate_user_notation (const pbes_system::pbes_expression &x)
std::set< data::sort_expression >	mcrl2::pbes_system::find_sort_expressions (const pbes_system::pbes &x)
std::set< data::variable >	mcrl2::pbes_system::find_all_variables (const pbes_system::pbes &x)
std::set< data::variable >	mcrl2::pbes_system::find_free_variables (const pbes_system::pbes &x)
std::set< data::variable >	mcrl2::pbes_system::find_free_variables (const pbes_system::pbes_expression &x)
std::set< data::variable >	mcrl2::pbes_system::find_free_variables (const pbes_system::pbes_equation &x)
std::set< data::function_symbol >	mcrl2::pbes_system::find_function_symbols (const pbes_system::pbes &x)
std::set< pbes_system::propositional_variable_instantiation >	mcrl2::pbes_system::find_propositional_variable_instantiations (const pbes_system::pbes_expression &x)
std::set< core::identifier_string >	mcrl2::pbes_system::find_identifiers (const pbes_system::pbes_expression &x)
bool	mcrl2::pbes_system::search_variable (const pbes_system::pbes_expression &x, const data::variable &v)
void	mcrl2::pbes_system::algorithms::instantiate_global_variables (pbes &p)
	Attempts to eliminate the free variables of a PBES, by substituting a constant value for them. If no constant value is found for one of the variables, an exception is thrown.
bool	mcrl2::pbes_system::algorithms::is_bes (const pbes &x)
	Returns true if a PBES is in BES form.
bool	mcrl2::pbes_system::is_well_typed (const pbes_equation &eqn)
bool	mcrl2::pbes_system::is_well_typed_equation (const pbes_equation &eqn, const std::set< data::sort_expression > &declared_sorts, const std::set< data::variable > &declared_global_variables, const data::data_specification &data_spec)
bool	mcrl2::pbes_system::is_well_typed_pbes (const std::set< data::sort_expression > &declared_sorts, const std::set< data::variable > &declared_global_variables, const std::set< data::variable > &occurring_global_variables, const std::set< propositional_variable > &declared_variables, const std::set< propositional_variable_instantiation > &occ, const propositional_variable_instantiation &init, const data::data_specification &data_spec)
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)