Frobby 0.9.5
|
#include <Fourti2IOHandler.h>
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 | |
![]() | |
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. | |
Definition at line 30 of file Fourti2IOHandler.h.
IO::Fourti2IOHandler::Fourti2IOHandler | ( | ) |
Definition at line 150 of file Fourti2IOHandler.cpp.
|
privatevirtual |
Implements IO::IOHandlerImpl.
Definition at line 166 of file Fourti2IOHandler.cpp.
|
privatevirtual |
Reimplemented from IO::IOHandlerImpl.
Definition at line 172 of file Fourti2IOHandler.cpp.
|
privatevirtual |
Reimplemented from IO::IOHandlerImpl.
Definition at line 195 of file Fourti2IOHandler.cpp.
|
privatevirtual |
Reimplemented from IO::IOHandlerImpl.
Definition at line 205 of file Fourti2IOHandler.cpp.
|
privatevirtual |
Reimplemented from IO::IOHandlerImpl.
Definition at line 234 of file Fourti2IOHandler.cpp.
|
privatevirtual |
Reimplemented from IO::IOHandlerImpl.
Definition at line 283 of file Fourti2IOHandler.cpp.
|
privatevirtual |
Reimplemented from IO::IOHandlerImpl.
Definition at line 191 of file Fourti2IOHandler.cpp.
|
privatevirtual |
Implements IOHandler.
Definition at line 178 of file Fourti2IOHandler.cpp.
Definition at line 162 of file Fourti2IOHandler.cpp.