Frobby
0.9.5
|
Public Member Functions | |
CoCoA4PolyWriter (FILE *out) | |
virtual void | doWriteHeader () |
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) |
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) |
Definition at line 86 of file CoCoA4IOHandler.cpp.
|
inline |
Definition at line 88 of file CoCoA4IOHandler.cpp.
|
inlinevirtual |
Implements IO::PolyWriter.
Definition at line 143 of file CoCoA4IOHandler.cpp.
|
inlinevirtual |
Implements IO::PolyWriter.
Definition at line 91 of file CoCoA4IOHandler.cpp.
|
inlinevirtual |
Implements IO::PolyWriter.
Definition at line 96 of file CoCoA4IOHandler.cpp.
|
inlinevirtual |
Implements IO::PolyWriter.
Definition at line 118 of file CoCoA4IOHandler.cpp.