aterm_io.h¶

Include file:

#include "mcrl2/atermpp/aterm_io.h"

Classes¶

type atermpp::aterm_transformer¶

typedef for aterm_appl(const aterm_appl &)

A function that is applied to all terms. The resulting term should only use a subset of the original arguments (i.e. not introduce new terms).

Typical usage is removing the index traits from function symbols that represent operators.

aterm_appl atermpp::identity(const aterm_appl &x)¶: The default transformer that maps each term to itself.

aterm_ostream &atermpp::operator<<(aterm_ostream &&stream, const T &t)¶

aterm_ostream &atermpp::operator<<(aterm_ostream &stream, aterm_transformer transformer)¶

aterm_ostream &atermpp::operator<<(aterm_ostream &stream, const aterm &term)¶: Write the given term to the stream.

aterm_ostream &atermpp::operator<<(aterm_ostream &stream, const T &container)¶: Write any container (that is not an aterm itself) to the stream.

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

Sends the name of a function symbol to an ostream.

Parameters:

Returns: The stream.

aterm_istream &atermpp::operator>>(aterm_istream &stream, aterm &term)¶: Read the given term from the stream, but for aterm_list we want to use a specific one that performs validation (defined below).

aterm_istream &atermpp::operator>>(aterm_istream &stream, aterm_transformer transformer)¶: Sets the given transformer to be applied to following reads.

aterm_istream &atermpp::operator>>(aterm_istream &stream, T &container)¶: Read any container (that is not an aterm itself) from the stream.

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

Prints the name of a function symbol as a string.

Parameters:

Returns: The string representation of r.

aterm_appl atermpp::read_appl_from_string(const std::string &s)¶

Reads an aterm_appl from a string. The string can be in either binary or text format.

If the input is not an aterm_appl, an aterm is returned of the wrong type.

Returns: The term corresponding to the string.

aterm_int atermpp::read_int_from_string(const std::string &s)¶

Reads an aterm_int from a string. The string can be in either binary or text format.

If the input is not an int, an aterm is returned of the wrong type.

Returns: The aterm_int corresponding to the string.

aterm_list atermpp::read_list_from_string(const std::string &s)¶

Reads an aterm_list from a string. The string can be in either binary or text format.

If the input is not a string, an aterm is returned of the wrong type.

Returns: The term corresponding to the string.