An window for simple text output.
More...
#include <gist.hh>
List of all members.
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 157 of file gist.hh.
Constructor & Destructor Documentation
| Gecode::Gist::TextOutput::TextOutput |
( |
const std::string & |
name | ) |
|
Constructor.
Definition at line 63 of file gist.cpp.
| Gecode::Gist::TextOutput::~TextOutput |
( |
void |
| ) |
[virtual] |
Destructor.
Definition at line 72 of file gist.cpp.
Member Function Documentation
| void Gecode::Gist::TextOutput::init |
( |
void |
| ) |
[protected] |
Initialize the implementation object.
Definition at line 80 of file gist.cpp.
| std::ostream & Gecode::Gist::TextOutput::getStream |
( |
void |
| ) |
[protected] |
Get the stream that is used to output text.
Definition at line 88 of file gist.cpp.
| void Gecode::Gist::TextOutput::flush |
( |
void |
| ) |
[protected] |
Flush stream.
Definition at line 93 of file gist.cpp.
| void Gecode::Gist::TextOutput::addHtml |
( |
const char * |
s | ) |
[protected] |
Add html text s to the output.
Definition at line 98 of file gist.cpp.
| void Gecode::Gist::TextOutput::finalize |
( |
void |
| ) |
|
| std::string Gecode::Gist::TextOutput::name |
( |
void |
| ) |
[virtual] |
The documentation for this class was generated from the following files:
