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

#include <CoCoA4IOHandler.h>

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

Public Member Functions

 CoCoA4IOHandler ()
 
- 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 CoefBigTermConsumerdoCreatePolynomialWriter (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)
 
virtual void doReadBarePolynomial (Scanner &in, const VarNames &names, CoefBigTermConsumer &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 30 of file CoCoA4IOHandler.h.

Constructor & Destructor Documentation

◆ CoCoA4IOHandler()

IO::CoCoA4IOHandler::CoCoA4IOHandler ( )

Definition at line 150 of file CoCoA4IOHandler.cpp.

Member Function Documentation

◆ doCreateIdealWriter()

BigTermConsumer * IO::CoCoA4IOHandler::doCreateIdealWriter ( FILE *  out)
privatevirtual

Implements IO::IOHandlerImpl.

Definition at line 164 of file CoCoA4IOHandler.cpp.

◆ doCreatePolynomialWriter()

CoefBigTermConsumer * IO::CoCoA4IOHandler::doCreatePolynomialWriter ( FILE *  out)
privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 168 of file CoCoA4IOHandler.cpp.

◆ doPeekRing()

bool IO::CoCoA4IOHandler::doPeekRing ( Scanner in)
privatevirtual

Implements IO::IOHandlerCommon.

Definition at line 225 of file CoCoA4IOHandler.cpp.

◆ doReadBareIdeal()

void IO::CoCoA4IOHandler::doReadBareIdeal ( Scanner in,
InputConsumer consumer 
)
privatevirtual

Reimplemented from IO::IOHandlerCommon.

Definition at line 229 of file CoCoA4IOHandler.cpp.

◆ doReadBarePolynomial()

void IO::CoCoA4IOHandler::doReadBarePolynomial ( Scanner in,
const VarNames names,
CoefBigTermConsumer consumer 
)
privatevirtual

Reimplemented from IO::IOHandlerCommon.

Definition at line 249 of file CoCoA4IOHandler.cpp.

◆ doReadRing()

void IO::CoCoA4IOHandler::doReadRing ( Scanner in,
VarNames names 
)
privatevirtual

Implements IO::IOHandlerCommon.

Definition at line 182 of file CoCoA4IOHandler.cpp.

◆ doReadTerm()

void IO::CoCoA4IOHandler::doReadTerm ( Scanner in,
InputConsumer consumer 
)
privatevirtual

Reimplemented from IO::IOHandlerImpl.

Definition at line 178 of file CoCoA4IOHandler.cpp.

◆ doWriteTerm()

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

Implements IOHandler.

Definition at line 172 of file CoCoA4IOHandler.cpp.

◆ staticGetName()

const char * IO::CoCoA4IOHandler::staticGetName ( )
static

Definition at line 160 of file CoCoA4IOHandler.cpp.


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