Include file:

#include "mcrl2/data/data_equation.h"

The class data_equation.


type mcrl2::data::data_equation_list

typedef for atermpp::term_list< data_equation >

brief list of data_equations

type mcrl2::data::data_equation_vector

typedef for std::vector< data_equation >

brief vector of data_equations


bool mcrl2::data::is_data_equation(const atermpp::aterm_appl &t)

Recognizer function.


  • t A aterm appl of which it is checked whether it is a data_equation.

Returns: True if the provided argument is a data_equation.

void mcrl2::data::make_data_equation(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_data_equation constructs a new term into a given address.


  • t The reference into which the new data_equation is constructed.
std::ostream &mcrl2::data::operator<<(std::ostream &out, const data_equation &x)

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

void mcrl2::data::swap(data_equation &t1, data_equation &t2)

brief swap overload