mcrl2/atermpp/function_symbol.h

Include file:

#include "mcrl2/atermpp/function_symbol.h"

Functions

std::ostream &atermpp::operator<<(std::ostream &out, const function_symbol &f)

Sends the name of a function symbol to an ostream.

Parameters:

  • out The out stream.
  • f The function symbol to be output.

Returns: The stream.

const std::string &atermpp::pp(const function_symbol &f)

Prints the name of a function symbol as a string.

Parameters:

  • f The function symbol.

Returns: The string representation of r.

Variables

function_symbol g_as_empty_list
function_symbol g_as_int

These function symbols are used to indicate integer, list and empty list terms.

They are copied from the function_symbol_pool so that type_is_{int|list|appl} can be defined in the header.

function_symbol g_as_list