smtrat::parser::OutputWrapper Class Reference

#include <InstructionHandler.h>

Collaboration diagram for smtrat::parser::OutputWrapper:

Public Member Functions
	OutputWrapper (std::ostream &o, const std::string &prefix, const std::string &suffix)
	OutputWrapper (const OutputWrapper &&o)
	~OutputWrapper ()
template<typename T >
OutputWrapper &	operator<< (const T &t)

Private Attributes
std::ostream	out
std::string	pre
std::string	suf

Detailed Description

Definition at line 26 of file InstructionHandler.h.

Constructor & Destructor Documentation

OutputWrapper() [1/2]

smtrat::parser::OutputWrapper::OutputWrapper ( std::ostream &  o, const std::string &  prefix, const std::string &  suffix  )

inline

Definition at line 31 of file InstructionHandler.h.

OutputWrapper() [2/2]

smtrat::parser::OutputWrapper::OutputWrapper ( const OutputWrapper &&  o )

inline

Definition at line 35 of file InstructionHandler.h.

~OutputWrapper()

smtrat::parser::OutputWrapper::~OutputWrapper ( )

inline

Definition at line 36 of file InstructionHandler.h.

Member Function Documentation

operator<<()

template<typename T >

OutputWrapper& smtrat::parser::OutputWrapper::operator<< ( const T &  t )

inline

Definition at line 40 of file InstructionHandler.h.

Field Documentation

out

std::ostream smtrat::parser::OutputWrapper::out

private

Definition at line 27 of file InstructionHandler.h.

pre

std::string smtrat::parser::OutputWrapper::pre

private

Definition at line 28 of file InstructionHandler.h.

suf

std::string smtrat::parser::OutputWrapper::suf

private

Definition at line 29 of file InstructionHandler.h.

---

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

• cli/parser/InstructionHandler.h