Gecode::Gist::TextOutput Class Reference
An window for simple text output. More...
#include <gist.hh>
Public Member Functions | |
| TextOutput (const std::string &name) | |
| Constructor. | |
| void | finalize (void) |
| Clean up when Gist exits. | |
| virtual | ~TextOutput (void) |
| Destructor. | |
| virtual std::string | name (void) |
| Name of the inspector. | |
Protected Member Functions | |
| void | init (void) |
| Initialize the implementation object. | |
| std::ostream & | getStream (void) |
| Get the stream that is used to output text. | |
| void | flush (void) |
| Flush stream. | |
| void | addHtml (const char *s) |
| Add html text s to the output. | |
Detailed Description
An window for simple text output.
Definition at line 160 of file gist.hh.
Constructor & Destructor Documentation
| Gecode::Gist::TextOutput::TextOutput | ( | const std::string & | name | ) |
| Gecode::Gist::TextOutput::~TextOutput | ( | void | ) | [virtual] |
Member Function Documentation
| void Gecode::Gist::TextOutput::init | ( | void | ) | [protected] |
| std::ostream & Gecode::Gist::TextOutput::getStream | ( | void | ) | [protected] |
| void Gecode::Gist::TextOutput::flush | ( | void | ) | [protected] |
| void Gecode::Gist::TextOutput::addHtml | ( | const char * | s | ) | [protected] |
| void Gecode::Gist::TextOutput::finalize | ( | void | ) |
Clean up when Gist exits.
Reimplemented in Gecode::FlatZinc::FZPrintingInspector< S >, Gecode::Gist::Print< S >, and Gecode::Gist::VarComparator< S >.
| std::string Gecode::Gist::TextOutput::name | ( | void | ) | [virtual] |
Name of the inspector.
Reimplemented in Gecode::Gist::Print< S >, and Gecode::Gist::VarComparator< S >.
The documentation for this class was generated from the following files: