Frobby 0.9.5
Public Member Functions | Static Public Member Functions | Private Member Functions | List of all members
IO::CountingIOHandler Class Reference

This class displays the total number of things written to output, without actually displaying those things. More...

#include <CountingIOHandler.h>

Inheritance diagram for IO::CountingIOHandler:
IO::IOHandlerImpl IOHandler

Public Member Functions

 CountingIOHandler ()
 
- Public Member Functions inherited from IOHandler
virtual ~IOHandler ()
 
void readIdeal (Scanner &in, InputConsumer &consumer)
 Read an ideal and feed it to the consumer. More...
 
void readIdeals (Scanner &in, InputConsumer &consumer)
 Read a number of ideals and feed them to the consumer. More...
 
void readTerm (Scanner &in, const VarNames &names, vector< mpz_class > &term)
 
void readPolynomial (Scanner &in, CoefBigTermConsumer &consumer)
 
void readSatBinomIdeal (Scanner &in, SatBinomConsumer &consumer)
 
void writeTerm (const vector< mpz_class > &term, const VarNames &names, FILE *out)
 
bool hasMoreInput (Scanner &in) const
 
const char * getName () const
 
const char * getDescription () const
 
auto_ptr< BigTermConsumercreateIdealWriter (FILE *out)
 
auto_ptr< BigTermConsumercreateIdealListWriter (FILE *out)
 
auto_ptr< CoefBigTermConsumercreatePolynomialWriter (FILE *out)
 
bool supportsInput (const DataType &type) const
 
bool supportsOutput (const DataType &type) const
 

Static Public Member Functions

static const char * staticGetName ()
 

Private Member Functions

virtual BigTermConsumerdoCreateIdealWriter (FILE *out)
 
virtual CoefBigTermConsumerdoCreatePolynomialWriter (FILE *out)
 
virtual void doWriteTerm (const vector< mpz_class > &term, const VarNames &names, FILE *out)
 

Additional Inherited Members

- Protected Member Functions inherited from IO::IOHandlerImpl
 IOHandlerImpl (const char *formatName, const char *formatDescription)
 
void registerInput (const DataType &type)
 Specify that input of the argument type is supported. More...
 
void registerOutput (const DataType &type)
 Specify that output of the argument type is supported. More...
 
virtual BigTermConsumerdoCreateIdealWriter (FILE *out)=0
 
virtual CoefBigTermConsumerdoCreatePolynomialWriter (FILE *out)=0
 

Detailed Description

This class displays the total number of things written to output, without actually displaying those things.

Definition at line 31 of file CountingIOHandler.h.

Constructor & Destructor Documentation

◆ CountingIOHandler()

IO::CountingIOHandler::CountingIOHandler ( )

Definition at line 101 of file CountingIOHandler.cpp.

Member Function Documentation

◆ doCreateIdealWriter()

BigTermConsumer * IO::CountingIOHandler::doCreateIdealWriter ( FILE *  out)
privatevirtual

Implements IO::IOHandlerImpl.

Definition at line 112 of file CountingIOHandler.cpp.

◆ doCreatePolynomialWriter()

CoefBigTermConsumer * IO::CountingIOHandler::doCreatePolynomialWriter ( FILE *  out)
privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 116 of file CountingIOHandler.cpp.

◆ doWriteTerm()

void IO::CountingIOHandler::doWriteTerm ( const vector< mpz_class > &  term,
const VarNames names,
FILE *  out 
)
privatevirtual

Implements IOHandler.

Definition at line 120 of file CountingIOHandler.cpp.

◆ staticGetName()

const char * IO::CountingIOHandler::staticGetName ( )
static

Definition at line 108 of file CountingIOHandler.cpp.


The documentation for this class was generated from the following files: