mcrl2::smt::stack_outstream< OutStream > Class Template Reference

#include <utilities.h>

Public Member Functions
	stack_outstream (OutStream &out)
	~stack_outstream ()
void	push ()
void	pop ()
OutStream::pos_type	top_size ()
void	copy_top (std::string &dest)
template<typename T >
stack_outstream &	operator<< (const T &s)

Protected Attributes
std::stack< typename OutStream::pos_type >	m_stack
std::ostringstream	buf
OutStream &	m_out

Detailed Description

template<typename OutStream>
class mcrl2::smt::stack_outstream< OutStream >

Definition at line 153 of file utilities.h.

Constructor & Destructor Documentation

stack_outstream()

template<typename OutStream >

mcrl2::smt::stack_outstream< OutStream >::stack_outstream ( OutStream &  out )

inline

Definition at line 161 of file utilities.h.

~stack_outstream()

template<typename OutStream >

mcrl2::smt::stack_outstream< OutStream >::~stack_outstream ( )

inline

Definition at line 165 of file utilities.h.

Member Function Documentation

copy_top()

template<typename OutStream >

void mcrl2::smt::stack_outstream< OutStream >::copy_top ( std::string &  dest )

inline

Definition at line 186 of file utilities.h.

operator<<()

template<typename OutStream >

template<typename T >

stack_outstream & mcrl2::smt::stack_outstream< OutStream >::operator<< ( const T &  s )

inline

Definition at line 192 of file utilities.h.

pop()

template<typename OutStream >

void mcrl2::smt::stack_outstream< OutStream >::pop ( )

inline

Definition at line 175 of file utilities.h.

push()

template<typename OutStream >

void mcrl2::smt::stack_outstream< OutStream >::push ( )

inline

Definition at line 170 of file utilities.h.

top_size()

template<typename OutStream >

OutStream::pos_type mcrl2::smt::stack_outstream< OutStream >::top_size ( )

inline

Definition at line 180 of file utilities.h.

Member Data Documentation

buf

template<typename OutStream >

std::ostringstream mcrl2::smt::stack_outstream< OutStream >::buf

protected

Definition at line 157 of file utilities.h.

m_out

template<typename OutStream >

OutStream& mcrl2::smt::stack_outstream< OutStream >::m_out

protected

Definition at line 158 of file utilities.h.

m_stack

template<typename OutStream >

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

protected

Definition at line 156 of file utilities.h.

---

The documentation for this class was generated from the following file:

• smt/include/mcrl2/smt/utilities.h