An window for simple text output.
More...
#include <gecode/gist.hh>
|
| | 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.
|
|
| 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.
|
An window for simple text output.
Definition at line 160 of file gist.hh.
◆ TextOutput()
| Gecode::Gist::TextOutput::TextOutput |
( |
const std::string & | name | ) |
|
◆ ~TextOutput()
| virtual Gecode::Gist::TextOutput::~TextOutput |
( |
void | | ) |
|
|
virtual |
◆ init()
| void Gecode::Gist::TextOutput::init |
( |
void | | ) |
|
|
protected |
Initialize the implementation object.
◆ getStream()
| std::ostream & Gecode::Gist::TextOutput::getStream |
( |
void | | ) |
|
|
protected |
Get the stream that is used to output text.
◆ flush()
| void Gecode::Gist::TextOutput::flush |
( |
void | | ) |
|
|
protected |
◆ addHtml()
| void Gecode::Gist::TextOutput::addHtml |
( |
const char * | s | ) |
|
|
protected |
Add html text s to the output.
◆ finalize()
| void Gecode::Gist::TextOutput::finalize |
( |
void | | ) |
|
Clean up when Gist exits.
◆ name()
| virtual std::string Gecode::Gist::TextOutput::name |
( |
void | | ) |
|
|
virtual |
The documentation for this class was generated from the following file: