atermpp::aterm_stream_state¶
Include file:
#include "mcrl2/atermpp/aterm_io.h
-
class
atermpp::aterm_stream_state¶ A helper class to restore the state of the aterm_{i,o}stream objects upon destruction. Currently, onlt preserves the transformer object.
Private attributes¶
-
aterm_stream &
atermpp::aterm_stream_state::m_stream¶
-
aterm_transformer *
atermpp::aterm_stream_state::m_transformer¶
