The class pbes_equation. More...

Classes
class	mcrl2::pbes_system::pbes_equation
	pbes equation. More...

Namespaces
namespace	mcrl2

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

Typedefs
using	mcrl2::pbes_system::pbes_equation_list = atermpp::term_list< pbes_equation >
	\brief list of pbes_equations

using	mcrl2::pbes_system::pbes_equation_vector = std::vector< pbes_equation >
	\brief vector of pbes_equations

Functions
atermpp::aterm	mcrl2::pbes_system::pbes_equation_to_aterm (const pbes_equation &eqn)
	Conversion to atermaPpl.

bool	mcrl2::pbes_system::is_well_typed (const pbes_equation &eqn)

bool	mcrl2::pbes_system::has_propositional_variables (const pbes_expression &x)

std::string	mcrl2::pbes_system::pp (const pbes_system::pbes_equation &x, bool arg0)

std::ostream &	mcrl2::pbes_system::operator<< (std::ostream &out, const pbes_equation &x)

void	mcrl2::pbes_system::swap (pbes_equation &t1, pbes_equation &t2) noexcept
	\brief swap overload

bool	mcrl2::pbes_system::operator== (const pbes_equation &x, const pbes_equation &y)

bool	mcrl2::pbes_system::operator!= (const pbes_equation &x, const pbes_equation &y)

std::string	mcrl2::pbes_system::pp (const pbes_equation_vector &x)

void	mcrl2::pbes_system::normalize_sorts (pbes_system::pbes_equation_vector &x, const data::sort_specification &sortspec)

std::set< data::variable >	mcrl2::pbes_system::find_free_variables (const pbes_system::pbes_equation &x)

Detailed Description

The class pbes_equation.

Definition in file pbes_equation.h.

Classes