mcrl2::smt::stack_outstream

Include file:

#include "mcrl2/smt/utilities.h

class mcrl2::smt::stack_outstream

Protected attributes

std::ostringstream mcrl2::smt::stack_outstream::buf

OutStream &mcrl2::smt::stack_outstream::m_out

std::stack<typename OutStream::pos_type> mcrl2::smt::stack_outstream::m_stack

Public member functions

void copy_top(std::string &dest)

stack_outstream &operator<<(const T &s)

void pop()

void push()

stack_outstream(OutStream &out)

OutStream::pos_type top_size()

~stack_outstream()