Include file:

#include "mcrl2/pbes/pbes_equation.h"

The class pbes_equation.


type pbes_equation_list

typedef for atermpp::term_list< pbes_equation >

list of pbes_equations

type pbes_equation_vector

typedef for std::vector< pbes_equation >

vector of pbes_equations


std::set<data::variable> find_free_variables(const pbes_system::pbes_equation &x)
bool mcrl2::pbes_system::has_propositional_variables(const pbes_expression &x)
bool is_well_typed(const pbes_equation &eqn)
void normalize_sorts(pbes_equation_vector &x, const data::sort_specification &sortspec)
bool mcrl2::pbes_system::operator!=(const pbes_equation &x, const pbes_equation &y)
std::ostream &mcrl2::pbes_system::operator<<(std::ostream &out, const pbes_equation &x)

Outputs the object to a stream.


  • out An output stream
  • x Object x

Returns: The output stream

bool mcrl2::pbes_system::operator==(const pbes_equation &x, const pbes_equation &y)
atermpp::aterm_appl pbes_equation_to_aterm(const pbes_equation &eqn)

Conversion to atermaPpl.

Returns: The specification converted to aterm format.

std::string pp(const pbes_equation &x)
std::string pp(const pbes_equation_vector &x)
void mcrl2::pbes_system::swap(pbes_equation &t1, pbes_equation &t2)

swap overload