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()