An inspector for printing simple text output. More...
#include <gist.hh>
Public Member Functions | |
Print (const std::string &name) | |
Constructor. | |
virtual void | inspect (const Space &node) |
Use the print method of the template class S to print a space. | |
virtual std::string | name (void) |
Return name. | |
virtual void | finalize (void) |
Clean up when Gist exits. | |
![]() | |
TextOutput (const std::string &name) | |
Constructor. | |
void | finalize (void) |
Clean up when Gist exits. | |
virtual | ~TextOutput (void) |
Destructor. | |
![]() | |
virtual | ~Inspector (void) |
Destructor. | |
Additional Inherited Members | |
![]() | |
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 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.