Window with associated ostream, used for inspecting Gist nodes. More...
#include <textoutput.hh>
Public Member Functions | |
TextOutputI (const std::string &name, QWidget *parent=0) | |
Constructor. More... | |
~TextOutputI (void) | |
Destructor. More... | |
std::ostream & | getStream (void) |
Return stream that prints to the text display. More... | |
void | insertHtml (const QString &s) |
Add html string s to the output. More... | |
void | flush (void) |
Flush output. More... | |
Protected Slots | |
void | changeStayOnTop (void) |
Window with associated ostream, used for inspecting Gist nodes.
Definition at line 46 of file textoutput.hh.
Gecode::Gist::TextOutputI::TextOutputI | ( | const std::string & | name, |
QWidget * | parent = 0 |
||
) |
Constructor.
Definition at line 88 of file textoutput.cpp.
Gecode::Gist::TextOutputI::~TextOutputI | ( | void | ) |
Destructor.
Definition at line 142 of file textoutput.cpp.
std::ostream & Gecode::Gist::TextOutputI::getStream | ( | void | ) |
Return stream that prints to the text display.
Definition at line 147 of file textoutput.cpp.
void Gecode::Gist::TextOutputI::insertHtml | ( | const QString & | s | ) |
Add html string s to the output.
Definition at line 157 of file textoutput.cpp.
void Gecode::Gist::TextOutputI::flush | ( | void | ) |
Flush output.
Definition at line 152 of file textoutput.cpp.
|
protectedslot |
Definition at line 165 of file textoutput.cpp.