pres.h File Reference

The class pres. More...

Go to the source code of this file.

Classes
class	mcrl2::pres_system::pres
	parameterized boolean equation system More...

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

Functions
void	mcrl2::pres_system::complete_data_specification (pres &p)
	Adds all sorts that appear in the PRES p to the data specification of p.
std::string	mcrl2::pres_system::pp (const pres_system::pres &x)
void	mcrl2::pres_system::normalize_sorts (pres_system::pres &x, const data::sort_specification &)
void	mcrl2::pres_system::translate_user_notation (pres_system::pres &x)
std::set< data::sort_expression >	mcrl2::pres_system::find_sort_expressions (const pres_system::pres &x)
std::set< data::variable >	mcrl2::pres_system::find_all_variables (const pres_system::pres &x)
std::set< data::variable >	mcrl2::pres_system::find_free_variables (const pres_system::pres &x)
std::set< data::function_symbol >	mcrl2::pres_system::find_function_symbols (const pres_system::pres &x)
bool	mcrl2::pres_system::is_well_typed_equation (const pres_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::pres_system::is_well_typed_pres (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)
atermpp::aterm	mcrl2::pres_system::pres_to_aterm (const pres &p)
	Conversion to atermappl.
std::ostream &	mcrl2::pres_system::operator<< (std::ostream &out, const pres &x)
bool	mcrl2::pres_system::operator== (const pres &p1, const pres &p2)
	Equality operator on PRESs.

Detailed Description

The class pres.

Definition in file pres.h.