atermpp::aterm_ostream Class Reference

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

#include <aterm_io.h>

Inheritance diagram for atermpp::aterm_ostream:

Public Member Functions
	~aterm_ostream () override
virtual void	put (const aterm &term)=0
	Write the given term to the stream.
Public Member Functions inherited from atermpp::aterm_stream
virtual	~aterm_stream ()
void	set_transformer (aterm_transformer transformer)
	Sets the given transformer to be applied to following writes.
aterm_transformer *	get_transformer () const

Additional Inherited Members
Protected Attributes inherited from atermpp::aterm_stream
aterm_transformer *	m_transformer = identity

Detailed Description

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

Definition at line 50 of file aterm_io.h.

Constructor & Destructor Documentation

~aterm_ostream()

aterm_ostream::~aterm_ostream ( )

overridedefault

Member Function Documentation

put()

virtual void atermpp::aterm_ostream::put ( const aterm &  term )

pure virtual

Write the given term to the stream.

Implemented in atermpp::binary_aterm_ostream, and atermpp::text_aterm_ostream.

---

The documentation for this class was generated from the following files:

• atermpp/include/mcrl2/atermpp/aterm_io.h
• atermpp/source/aterm_implementation.cpp