Frobby
0.9.5
|
Public Member Functions | |
Fourti2IdealWriter (FILE *out) | |
Public Member Functions inherited from IO::IdealWriter | |
IdealWriter (FILE *out) | |
virtual void | consumeRing (const VarNames &names) |
Tell the consumer which ring is being used. More... | |
virtual void | beginConsumingList () |
Tell the consumer that the ideals that are consumed until the next call to doneConsumingList are to be considered as one list of ideals, rather than as a number of separate ideals. More... | |
virtual void | beginConsuming () |
Tell the consumer to begin consuming an ideal. More... | |
virtual void | consume (const Term &term, const TermTranslator &translator) |
virtual void | consume (const vector< mpz_class > &term) |
virtual void | doneConsuming () |
Must be called once after each time beginConsuming has been called. More... | |
virtual void | doneConsumingList () |
Must be called once after each time beginConsumingList has been called. More... | |
virtual void | consume (const BigIdeal &ideal) |
FILE * | getFile () |
const VarNames & | getNames () |
Public Member Functions inherited from BigTermConsumer | |
virtual | ~BigTermConsumer () |
virtual void | consume (const Term &term) |
Consume a term. More... | |
virtual void | consume (auto_ptr< BigIdeal > ideal) |
void | beginConsuming (const VarNames &names) |
Public Member Functions inherited from TermConsumer | |
virtual | ~TermConsumer () |
void | consume (const Ideal &ideal) |
This is a non-virtual utility method that calls the other methods to achieve its effect of calling beginConsuming, then consuming all generators, and then calling doneConsuming. More... | |
Private Member Functions | |
virtual void | doWriteHeader (bool first) |
virtual void | doWriteHeader (bool first, size_t generatorCount) |
virtual void | doWriteTerm (const Term &term, const TermTranslator &translator, bool first) |
virtual void | doWriteTerm (const vector< mpz_class > &term, bool first) |
virtual void | doWriteFooter (bool wasZeroIdeal) |
virtual void | doWriteEmptyList () |
Definition at line 60 of file Fourti2IOHandler.cpp.
|
inline |
Definition at line 62 of file Fourti2IOHandler.cpp.
|
inlineprivatevirtual |
Implements IO::IdealWriter.
Definition at line 91 of file Fourti2IOHandler.cpp.
|
inlineprivatevirtual |
Implements IO::IdealWriter.
Definition at line 86 of file Fourti2IOHandler.cpp.
|
inlineprivatevirtual |
Implements IO::IdealWriter.
Definition at line 66 of file Fourti2IOHandler.cpp.
|
inlineprivatevirtual |
Reimplemented from IO::IdealWriter.
Definition at line 70 of file Fourti2IOHandler.cpp.
|
inlineprivatevirtual |
Implements IO::IdealWriter.
Definition at line 76 of file Fourti2IOHandler.cpp.
|
inlineprivatevirtual |
Implements IO::IdealWriter.
Definition at line 82 of file Fourti2IOHandler.cpp.