An inspector for printing simple text output. More...
#include <gist.hh>
Public Member Functions | |
Print (const std::string &name) | |
Constructor. More... | |
virtual void | inspect (const Space &node) |
Use the print method of the template class S to print a space. More... | |
virtual std::string | name (void) |
Return name. More... | |
virtual void | finalize (void) |
Clean up when Gist exits. More... | |
![]() | |
TextOutput (const std::string &name) | |
Constructor. More... | |
void | finalize (void) |
Clean up when Gist exits. More... | |
virtual | ~TextOutput (void) |
Destructor. More... | |
![]() | |
virtual | ~Inspector (void) |
Destructor. More... | |
Additional Inherited Members | |
![]() | |
void | init (void) |
Initialize the implementation object. More... | |
std::ostream & | getStream (void) |
Get the stream that is used to output text. More... | |
void | flush (void) |
Flush stream. More... | |
void | addHtml (const char *s) |
Add html text s to the output. More... | |
An inspector for printing simple text output.
Gecode::Gist::Print< S >::Print | ( | const std::string & | name | ) |
|
virtual |
Use the print method of the template class S to print a space.
Implements Gecode::Gist::Inspector.
|
virtual |
|
virtual |
Clean up when Gist exits.
Reimplemented from Gecode::Gist::Inspector.