IO::NullIOHandler Class Reference

This class ignores the input and discards all output. More...

#include <NullIOHandler.h>

Inheritance diagram for IO::NullIOHandler:

Public Member Functions
	NullIOHandler ()
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< 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)
virtual void	doReadIdeal (Scanner &in, InputConsumer &consumer)
virtual void	doReadIdeals (Scanner &in, InputConsumer &consumer)
virtual void	doReadTerm (Scanner &in, InputConsumer &consumer)
virtual void	doReadPolynomial (Scanner &in, CoefBigTermConsumer &consumer)
virtual void	doReadSatBinomIdeal (Scanner &in, SatBinomConsumer &consumer)
virtual bool	doHasMoreInput (Scanner &in) const

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...

Detailed Description

This class ignores the input and discards all output.

Definition at line 32 of file NullIOHandler.h.

Constructor & Destructor Documentation

NullIOHandler()

IO::NullIOHandler::NullIOHandler

(

)

Definition at line 31 of file NullIOHandler.cpp.

Member Function Documentation

doCreateIdealWriter()

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

privatevirtual

Implements IO::IOHandlerImpl.

Definition at line 47 of file NullIOHandler.cpp.

doCreatePolynomialWriter()

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

privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 51 of file NullIOHandler.cpp.

doHasMoreInput()

bool IO::NullIOHandler::doHasMoreInput ( Scanner &  in ) const

privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 83 of file NullIOHandler.cpp.

doReadIdeal()

void IO::NullIOHandler::doReadIdeal ( Scanner &  in, InputConsumer &  consumer  )

privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 60 of file NullIOHandler.cpp.

doReadIdeals()

void IO::NullIOHandler::doReadIdeals ( Scanner &  in, InputConsumer &  consumer  )

privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 66 of file NullIOHandler.cpp.

doReadPolynomial()

void IO::NullIOHandler::doReadPolynomial ( Scanner &  in, CoefBigTermConsumer &  consumer  )

privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 75 of file NullIOHandler.cpp.

doReadSatBinomIdeal()

void IO::NullIOHandler::doReadSatBinomIdeal ( Scanner &  in, SatBinomConsumer &  consumer  )

privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 79 of file NullIOHandler.cpp.

doReadTerm()

void IO::NullIOHandler::doReadTerm ( Scanner &  in, InputConsumer &  consumer  )

privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 70 of file NullIOHandler.cpp.

doWriteTerm()

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

privatevirtual

Implements IOHandler.

Definition at line 55 of file NullIOHandler.cpp.

staticGetName()

const char * IO::NullIOHandler::staticGetName ( )

static

Definition at line 43 of file NullIOHandler.cpp.

---

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

• src/NullIOHandler.h
• src/NullIOHandler.cpp