Frobby
0.9.5
|
Public Member Functions | |
Fourti2PolyWriter (FILE *out) | |
Public Member Functions inherited from IO::PolyWriter | |
PolyWriter (FILE *out) | |
virtual void | consumeRing (const VarNames &names) |
virtual void | beginConsuming () |
virtual void | consume (const mpz_class &coef, const Term &term, const TermTranslator &translator) |
virtual void | consume (const mpz_class &coef, const vector< mpz_class > &term) |
virtual void | doneConsuming () |
virtual void | consume (const BigPolynomial &poly) |
FILE * | getFile () |
const VarNames & | getNames () const |
Public Member Functions inherited from CoefBigTermConsumer | |
virtual void | consume (const mpz_class &coef, const Term &term) |
Public Member Functions inherited from CoefTermConsumer | |
virtual | ~CoefTermConsumer () |
virtual void | consume (const Polynomial &poly) |
Private Member Functions | |
virtual void | doWriteHeader () |
virtual void | doWriteHeader (size_t termCount) |
virtual void | doWriteTerm (const mpz_class &coef, const Term &term, const TermTranslator &translator, bool firstGenerator) |
virtual void | doWriteTerm (const mpz_class &coef, const vector< mpz_class > &term, bool firstGenerator) |
virtual void | doWriteFooter (bool wasZero) |
Definition at line 96 of file Fourti2IOHandler.cpp.
|
inline |
Definition at line 98 of file Fourti2IOHandler.cpp.
|
inlineprivatevirtual |
Implements IO::PolyWriter.
Definition at line 141 of file Fourti2IOHandler.cpp.
|
inlineprivatevirtual |
Implements IO::PolyWriter.
Definition at line 102 of file Fourti2IOHandler.cpp.
|
inlineprivatevirtual |
Reimplemented from IO::PolyWriter.
Definition at line 106 of file Fourti2IOHandler.cpp.
|
inlineprivatevirtual |
Implements IO::PolyWriter.
Definition at line 112 of file Fourti2IOHandler.cpp.
|
inlineprivatevirtual |
Implements IO::PolyWriter.
Definition at line 127 of file Fourti2IOHandler.cpp.