#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. 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< 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 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()
|
privatevirtual |
Implements IO::IOHandlerImpl.
Definition at line 81 of file MonosIOHandler.cpp.
◆ doPeekRing()
|
privatevirtual |
Implements IO::IOHandlerCommon.
Definition at line 106 of file MonosIOHandler.cpp.
◆ doReadBareIdeal()
|
privatevirtual |
Reimplemented from IO::IOHandlerCommon.
Definition at line 110 of file MonosIOHandler.cpp.
◆ doReadRing()
Implements IO::IOHandlerCommon.
Definition at line 95 of file MonosIOHandler.cpp.
◆ doReadTerm()
|
privatevirtual |
Reimplemented from IO::IOHandlerImpl.
Definition at line 91 of file MonosIOHandler.cpp.
◆ doWriteTerm()
|
privatevirtual |
Implements IOHandler.
Definition at line 85 of file MonosIOHandler.cpp.
◆ 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
