mcrl2/pbes/pbes_equation.h

Include file:

#include "mcrl2/pbes/pbes_equation.h"

The class pbes_equation.

Classes

• mcrl2::pbes_system::pbes_equation

Typedefs

type mcrl2::pbes_system::pbes_equation_list

typedef for atermpp::term_list< pbes_equation >

brief list of pbes_equations

type mcrl2::pbes_system::pbes_equation_vector

typedef for std::vector< pbes_equation >

brief vector of pbes_equations

Functions

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

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)

brief Outputs the object to a stream param out An output stream param x Object x return 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.

void mcrl2::pbes_system::swap(pbes_equation &t1, pbes_equation &t2)

brief swap overload