IO::Fourti2IOHandler Class Reference

#include <Fourti2IOHandler.h>

Inheritance diagram for IO::Fourti2IOHandler:

Public Member Functions
	Fourti2IOHandler ()
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
unique_ptr< BigTermConsumer >	createIdealWriter (FILE *out)
unique_ptr< BigTermConsumer >	createIdealListWriter (FILE *out)
unique_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	doReadTerm (Scanner &in, InputConsumer &consumer)
virtual void	doReadIdeal (Scanner &in, InputConsumer &consumer)
virtual void	doReadIdeals (Scanner &in, InputConsumer &consumer)
virtual void	doReadPolynomial (Scanner &in, CoefBigTermConsumer &consumer)
virtual void	doReadSatBinomIdeal (Scanner &in, SatBinomConsumer &consumer)

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

Definition at line 30 of file Fourti2IOHandler.h.

Constructor & Destructor Documentation

Fourti2IOHandler()

IO::Fourti2IOHandler::Fourti2IOHandler

(

)

Definition at line 150 of file Fourti2IOHandler.cpp.

Member Function Documentation

doCreateIdealWriter()

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

privatevirtual

Implements IO::IOHandlerImpl.

Definition at line 166 of file Fourti2IOHandler.cpp.

doCreatePolynomialWriter()

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

privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 172 of file Fourti2IOHandler.cpp.

doReadIdeal()

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

privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 195 of file Fourti2IOHandler.cpp.

doReadIdeals()

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

privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 205 of file Fourti2IOHandler.cpp.

doReadPolynomial()

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

privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 234 of file Fourti2IOHandler.cpp.

doReadSatBinomIdeal()

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

privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 283 of file Fourti2IOHandler.cpp.

doReadTerm()

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

privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 191 of file Fourti2IOHandler.cpp.

doWriteTerm()

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

privatevirtual

Implements IOHandler.

Definition at line 178 of file Fourti2IOHandler.cpp.

staticGetName()

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

static

Definition at line 162 of file Fourti2IOHandler.cpp.

---

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

• src/Fourti2IOHandler.h
• src/Fourti2IOHandler.cpp