Frobby 0.9.5
|
This class displays the total number of things written to output, without actually displaying those things. More...
#include <CountingIOHandler.h>
Static Public Member Functions | |
static const char * | staticGetName () |
Private Member Functions | |
virtual BigTermConsumer * | doCreateIdealWriter (FILE *out) |
virtual CoefBigTermConsumer * | doCreatePolynomialWriter (FILE *out) |
virtual void | doWriteTerm (const vector< mpz_class > &term, const VarNames &names, FILE *out) |
Additional Inherited Members | |
![]() | |
IOHandlerImpl (const char *formatName, const char *formatDescription) | |
void | registerInput (const DataType &type) |
Specify that input of the argument type is supported. | |
void | registerOutput (const DataType &type) |
Specify that output of the argument type is supported. | |
This class displays the total number of things written to output, without actually displaying those things.
Definition at line 31 of file CountingIOHandler.h.
IO::CountingIOHandler::CountingIOHandler | ( | ) |
Definition at line 101 of file CountingIOHandler.cpp.
|
privatevirtual |
Implements IO::IOHandlerImpl.
Definition at line 112 of file CountingIOHandler.cpp.
|
privatevirtual |
Reimplemented from IO::IOHandlerImpl.
Definition at line 116 of file CountingIOHandler.cpp.
|
privatevirtual |
Implements IOHandler.
Definition at line 120 of file CountingIOHandler.cpp.
Definition at line 108 of file CountingIOHandler.cpp.