Include file:

#include "mcrl2/data/function_symbol.h"

The class function symbol.


type mcrl2::data::function_symbol_key_type

typedef for std::pair< core::identifier_string, sort_expression >

type mcrl2::data::function_symbol_list

typedef for atermpp::term_list< function_symbol >

brief list of function_symbols

type mcrl2::data::function_symbol_vector

typedef for std::vector< function_symbol >

brief vector of function_symbols


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

brief Make_function_symbol constructs a new term into a given address.


  • t The reference into which the new function_symbol is constructed.
std::ostream &mcrl2::data::operator<<(std::ostream &out, const function_symbol &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(function_symbol &t1, function_symbol &t2)

brief swap overload