atermpp::aterm_stream

Include file:

#include "mcrl2/atermpp/aterm_io.h

class atermpp::aterm_stream

The general aterm stream interface, which enables the use of a transformer to change the written/read terms.

Protected attributes

aterm_transformer *atermpp::aterm_stream::m_transformer

Public member functions

aterm_transformer *get_transformer() const

Returns: The currently assigned transformer function.

void set_transformer(aterm_transformer transformer)

Sets the given transformer to be applied to following writes.

~aterm_stream()