atermpp::text_aterm_ostream =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/atermpp/aterm_io_text.h .. cpp:class:: atermpp::text_aterm_ostream Writes terms in textual format to an output stream. Private attributes ------------------------------------------------------------------------------- .. cpp:member:: bool atermpp::text_aterm_ostream::m_newline Indicates that terms are separated by a newline. .. cpp:member:: std::ostream & atermpp::text_aterm_ostream::m_stream Public member functions ------------------------------------------------------------------------------- .. cpp:function:: void put(const aterm &term) override Write the given term to the stream. .. cpp:function:: text_aterm_ostream(std::ostream &os, bool newline=false) **Parameters:** * **os** The output stream. * **newline** When true each term is written on a new line. Private member functions ------------------------------------------------------------------------------- .. cpp:function:: void write_term_line(const aterm &term) Writes a term in textual format on the same line.