mcrl2::smt::stack_outstream =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/smt/utilities.h .. cpp:class:: mcrl2::smt::stack_outstream Protected attributes ------------------------------------------------------------------------------- .. cpp:member:: std::ostringstream mcrl2::smt::stack_outstream::buf .. cpp:member:: OutStream & mcrl2::smt::stack_outstream::m_out .. cpp:member:: std::stack< typename OutStream::pos_type > mcrl2::smt::stack_outstream::m_stack Public member functions ------------------------------------------------------------------------------- .. cpp:function:: void copy_top(std::string &dest) .. cpp:function:: stack_outstream& operator<<(const T &s) .. cpp:function:: void pop() .. cpp:function:: void push() .. cpp:function:: stack_outstream(OutStream &out) .. cpp:function:: OutStream::pos_type top_size() .. cpp:function:: ~stack_outstream()