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 void get(aterm &t) = 0

Reads an aterm from this stream.

~aterm_istream()