atermpp::aterm_ostream

Include file:

#include "mcrl2/atermpp/aterm_io.h
class atermpp::aterm_ostream

The interface for a class that writes aterm to a stream. Every written term is retrieved by the corresponding aterm_istream::get() call.

Protected attributes

aterm_transformer *atermpp::aterm_ostream::m_transformer

Public member functions

aterm_transformer *get_transformer() const

Returns: The currently assigned transformer function.

virtual void put(const aterm &term) = 0

Write the given term to the stream.

void set_transformer(aterm_transformer transformer)

Sets the given transformer to be applied to following writes.

~aterm_ostream()