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.

Public member functions

virtual void put(const aterm &term) = 0

Write the given term to the stream.

~aterm_ostream()