atermpp::aterm_istream

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.

Public member functions

virtual aterm get() = 0

Reads an aterm from this stream.

~aterm_istream()