Include file:
#include "mcrl2/atermpp/aterm_io_binary.h
atermpp::
binary_aterm_ostream
¶Writes terms in a streamable binary aterm format to an output stream.
atermpp::binary_aterm_ostream::
m_function_symbol_index_width
¶caches the result of function_symbol_index_width().
atermpp::binary_aterm_ostream::
m_function_symbols
¶An index of already written function symbols.
atermpp::binary_aterm_ostream::
m_stream
¶atermpp::binary_aterm_ostream::
m_term_index_width
¶caches the result of term_index_width().
atermpp::binary_aterm_ostream::
m_terms
¶An index of already written terms.
binary_aterm_ostream
(std::ostream &os)¶Provide the output stream to which the terms are written.
put
(const aterm &term) overrideWrites an aterm in a compact binary format where subterms are shared. The term that is written itself is not shared whenever it occurs as the argument of another term.
~binary_aterm_ostream
() override¶function_symbol_index_width
()Returns: The number of bits needed to index function symbols.
term_index_width
()Returns: The number of bits needed to index terms.
write_function_symbol
(const function_symbol &symbol)¶Write a function symbol to the output stream.