Include file:

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

The interface for a class that reads aterm from a stream. The default constructed term aterm() indicates the end of the stream.

Protected attributes

aterm_transformer *atermpp::aterm_istream::m_transformer

Public member functions

T get()

Reads an object of type T from this stream, using the object specific >> operator.

virtual aterm get() = 0

Reads a single term from this stream.

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 reads.