The class pres_equation. More...

Classes
class	mcrl2::pres_system::pres_equation
	pres equation. 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.

Typedefs
typedef pbes_system::fixpoint_symbol	mcrl2::pres_system::fixpoint_symbol

typedef atermpp::term_list< pres_equation >	mcrl2::pres_system::pres_equation_list
	\brief list of pres_equations

typedef std::vector< pres_equation >	mcrl2::pres_system::pres_equation_vector
	\brief vector of pres_equations

Functions
atermpp::aterm	mcrl2::pres_system::pres_equation_to_aterm (const pres_equation &eqn)
	Conversion to atermaPpl.

bool	mcrl2::pres_system::is_well_typed (const pres_equation &eqn)

bool	mcrl2::pres_system::has_propositional_variables (const pres_expression &x)

std::string	mcrl2::pres_system::pp (const pres_system::pres_equation &x)

std::ostream &	mcrl2::pres_system::operator<< (std::ostream &out, const pres_equation &x)

void	mcrl2::pres_system::swap (pres_equation &t1, pres_equation &t2)
	\brief swap overload

bool	mcrl2::pres_system::operator== (const pres_equation &x, const pres_equation &y)

bool	mcrl2::pres_system::operator!= (const pres_equation &x, const pres_equation &y)

std::string	mcrl2::pres_system::pp (const pres_system::propositional_variable &x)

std::string	mcrl2::pres_system::pp (const pres_system::pres_equation_vector &x)

void	mcrl2::pres_system::normalize_sorts (pres_system::pres_equation_vector &x, const data::sort_specification &sortspec)

std::set< data::variable >	mcrl2::pres_system::find_free_variables (const pres_system::pres_equation &x)

Detailed Description

The class pres_equation.

Definition in file pres_equation.h.

Classes