IO::MonosIOHandler Class Reference

#include <MonosIOHandler.h>

Inheritance diagram for IO::MonosIOHandler:

Public Member Functions
	MonosIOHandler ()
Public Member Functions inherited from IO::IOHandlerCommon
	IOHandlerCommon (const char *formatName, const char *formatDescription)
void	readRing (Scanner &in, VarNames &names)
	Reads a ring, i.e.
bool	peekRing (Scanner &in)
	Returns true if what follows in the input is a ring, assuming there are no syntax errors.
void	readBareIdeal (Scanner &in, InputConsumer &consumer)
	Reads an ideal without a ring preceding it.
void	readBarePolynomial (Scanner &in, const VarNames &names, CoefBigTermConsumer &consumer)
	Reads a polynomial without a ring preceding it.
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 void	doWriteTerm (const vector< mpz_class > &term, const VarNames &names, FILE *out)
virtual void	doReadTerm (Scanner &in, InputConsumer &consumer)
virtual void	doReadRing (Scanner &in, VarNames &names)
virtual bool	doPeekRing (Scanner &in)
virtual void	doReadBareIdeal (Scanner &in, InputConsumer &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 28 of file MonosIOHandler.h.

Constructor & Destructor Documentation

MonosIOHandler()

IO::MonosIOHandler::MonosIOHandler

(

)

Definition at line 68 of file MonosIOHandler.cpp.

Member Function Documentation

doCreateIdealWriter()

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

privatevirtual

Implements IO::IOHandlerImpl.

Definition at line 81 of file MonosIOHandler.cpp.

doPeekRing()

bool IO::MonosIOHandler::doPeekRing ( Scanner & in )

privatevirtual

Implements IO::IOHandlerCommon.

Definition at line 106 of file MonosIOHandler.cpp.

doReadBareIdeal()

void IO::MonosIOHandler::doReadBareIdeal ( Scanner & in, InputConsumer & consumer )

privatevirtual

Reimplemented from IO::IOHandlerCommon.

Definition at line 110 of file MonosIOHandler.cpp.

doReadRing()

void IO::MonosIOHandler::doReadRing ( Scanner & in, VarNames & names )

privatevirtual

Implements IO::IOHandlerCommon.

Definition at line 95 of file MonosIOHandler.cpp.

doReadTerm()

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

privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 91 of file MonosIOHandler.cpp.

doWriteTerm()

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

privatevirtual

Implements IOHandler.

Definition at line 85 of file MonosIOHandler.cpp.

staticGetName()

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

static

Definition at line 77 of file MonosIOHandler.cpp.

---

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

• src/MonosIOHandler.h
• src/MonosIOHandler.cpp