#include <PolyWriter.h>
Definition at line 25 of file PolyWriter.h.
◆ PolyWriter()
IO::PolyWriter::PolyWriter |
( |
FILE * |
out | ) |
|
◆ beginConsuming()
void IO::PolyWriter::beginConsuming |
( |
| ) |
|
|
virtual |
◆ consume() [1/3]
◆ consume() [2/3]
void IO::PolyWriter::consume |
( |
const mpz_class & |
coef, |
|
|
const Term & |
term, |
|
|
const TermTranslator & |
translator |
|
) |
| |
|
virtual |
◆ consume() [3/3]
void IO::PolyWriter::consume |
( |
const mpz_class & |
coef, |
|
|
const vector< mpz_class > & |
term |
|
) |
| |
|
virtual |
◆ consumeRing()
void IO::PolyWriter::consumeRing |
( |
const VarNames & |
names | ) |
|
|
virtual |
◆ doneConsuming()
void IO::PolyWriter::doneConsuming |
( |
| ) |
|
|
virtual |
◆ doWriteFooter()
virtual void IO::PolyWriter::doWriteFooter |
( |
bool |
wasZero | ) |
|
|
privatepure virtual |
◆ doWriteHeader() [1/2]
virtual void IO::PolyWriter::doWriteHeader |
( |
| ) |
|
|
privatepure virtual |
◆ doWriteHeader() [2/2]
void IO::PolyWriter::doWriteHeader |
( |
size_t |
generatorCount | ) |
|
|
privatevirtual |
◆ doWriteTerm() [1/2]
virtual void IO::PolyWriter::doWriteTerm |
( |
const mpz_class & |
coef, |
|
|
const Term & |
term, |
|
|
const TermTranslator & |
translator, |
|
|
bool |
firstGenerator |
|
) |
| |
|
privatepure virtual |
◆ doWriteTerm() [2/2]
virtual void IO::PolyWriter::doWriteTerm |
( |
const mpz_class & |
coef, |
|
|
const vector< mpz_class > & |
term, |
|
|
bool |
firstGenerator |
|
) |
| |
|
privatepure virtual |
◆ getFile()
FILE* IO::PolyWriter::getFile |
( |
| ) |
|
|
inline |
◆ getNames()
const VarNames& IO::PolyWriter::getNames |
( |
| ) |
const |
|
inline |
◆ _firstTerm
bool IO::PolyWriter::_firstTerm |
|
private |
◆ _names
◆ _out
FILE* const IO::PolyWriter::_out |
|
private |
The documentation for this class was generated from the following files: