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

#include <MonosIOHandler.h>

Inheritance diagram for IO::MonosIOHandler:
IO::IOHandlerCommon IO::IOHandlerImpl IOHandler

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. More...
 
bool peekRing (Scanner &in)
 Returns true if what follows in the input is a ring, assuming there are no syntax errors. More...
 
void readBareIdeal (Scanner &in, InputConsumer &consumer)
 Reads an ideal without a ring preceding it. More...
 
void readBarePolynomial (Scanner &in, const VarNames &names, CoefBigTermConsumer &consumer)
 Reads a polynomial without a ring preceding it. More...
 
- 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 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. More...
 
void registerOutput (const DataType &type)
 Specify that output of the argument type is supported. More...
 

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: