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

Inheritance diagram for IO::CountingIOHandler:

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.

void	readIdeals (Scanner &in, InputConsumer &consumer)
	Read a number of ideals and feed them to the consumer.

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< BigTermConsumer >	createIdealWriter (FILE *out)

auto_ptr< BigTermConsumer >	createIdealListWriter (FILE *out)

auto_ptr< CoefBigTermConsumer >	createPolynomialWriter (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 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
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.

void	registerOutput (const DataType &type)
	Specify that output of the argument type is supported.

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

IO::CountingIOHandler::CountingIOHandler ( )

Definition at line 101 of file CountingIOHandler.cpp.

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

privatevirtual

Definition at line 112 of file CountingIOHandler.cpp.

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

privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 116 of file CountingIOHandler.cpp.

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.

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: