|
| 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) |
|
| 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 |
|
virtual void | consumeRing (const VarNames &names)=0 |
|
virtual void | beginConsuming ()=0 |
|
virtual void | consume (const mpz_class &coef, const Term &term) |
|
virtual void | consume (const mpz_class &coef, const Term &term, const TermTranslator &translator)=0 |
|
virtual void | consume (const mpz_class &coef, const vector< mpz_class > &term)=0 |
|
virtual void | doneConsuming ()=0 |
|
virtual void | consume (const BigPolynomial &poly) |
|
virtual | ~CoefTermConsumer () |
|
virtual void | consume (const Polynomial &poly) |
|
virtual void | consumeRing (const VarNames &names)=0 |
|
virtual void | beginConsuming ()=0 |
|
virtual void | consume (const mpz_class &coef, const Term &term)=0 |
|
virtual void | doneConsuming ()=0 |
|
Definition at line 86 of file CoCoA4IOHandler.cpp.
◆ CoCoA4PolyWriter()
IO::CoCoA4PolyWriter::CoCoA4PolyWriter |
( |
FILE * |
out | ) |
|
|
inline |
◆ doWriteFooter()
virtual void IO::CoCoA4PolyWriter::doWriteFooter |
( |
bool |
wasZero | ) |
|
|
inlinevirtual |
◆ doWriteHeader()
virtual void IO::CoCoA4PolyWriter::doWriteHeader |
( |
| ) |
|
|
inlinevirtual |
◆ doWriteTerm() [1/2]
virtual void IO::CoCoA4PolyWriter::doWriteTerm |
( |
const mpz_class & |
coef, |
|
|
const Term & |
term, |
|
|
const TermTranslator & |
translator, |
|
|
bool |
firstGenerator |
|
) |
| |
|
inlinevirtual |
◆ doWriteTerm() [2/2]
virtual void IO::CoCoA4PolyWriter::doWriteTerm |
( |
const mpz_class & |
coef, |
|
|
const vector< mpz_class > & |
term, |
|
|
bool |
firstGenerator |
|
) |
| |
|
inlinevirtual |
The documentation for this class was generated from the following file: