mcrl2/data/data_equation.h

Include file:

#include "mcrl2/data/data_equation.h"

The class data_equation.

Typedefs

type data_equation_list

typedef for atermpp::term_list< data_equation >

list of data_equations

type data_equation_vector

typedef for std::vector< data_equation >

vector of data_equations

Functions

std::set<data::function_symbol> find_function_symbols(const data::data_equation &x)
std::set<data::sort_expression> find_sort_expressions(const data::data_equation &x)
std::ostream &mcrl2::data::operator<<(std::ostream &out, const data_equation &x)

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

std::string pp(const data_equation &x)
std::string pp(const data_equation_list &x)
std::string pp(const data_equation_vector &x)
void mcrl2::data::swap(data_equation &t1, data_equation &t2)

swap overload

data::data_equation translate_user_notation(const data::data_equation &x)