
Buffer for printing on a QTextEdit. More...
Public Member Functions | |
| void | flush (void) |
| virtual int | overflow (int v=std::char_traits< char >::eof()) |
| Buf (QTextEdit *e) | |
Buffer for printing on a QTextEdit.
| Gecode::Gist::GistOutputStream::Buf::Buf | ( | QTextEdit * | e | ) | [inline] |
Definition at line 70 of file textoutput.cpp.
| void Gecode::Gist::GistOutputStream::Buf::flush | ( | void | ) | [inline] |
Definition at line 55 of file textoutput.cpp.
| virtual int Gecode::Gist::GistOutputStream::Buf::overflow | ( | int | v = std::char_traits<char>::eof() | ) | [inline, virtual] |
Definition at line 62 of file textoutput.cpp.