Frobby 0.9.5
|
#include <BigTermConsumer.h>
Public Member Functions | |
virtual | ~BigTermConsumer () |
virtual void | consumeRing (const VarNames &names)=0 |
Tell the consumer which ring is being used. | |
virtual void | beginConsuming ()=0 |
Tell the consumer to begin consuming an ideal. | |
virtual void | consume (const vector< mpz_class > &term)=0 |
virtual void | doneConsuming ()=0 |
Must be called once after each time beginConsuming has been called. | |
virtual void | consume (const Term &term) |
Consume a term. | |
virtual void | consume (const Term &term, const TermTranslator &translator)=0 |
virtual void | consume (const BigIdeal &ideal) |
virtual void | consume (auto_ptr< BigIdeal > ideal) |
void | beginConsuming (const VarNames &names) |
![]() | |
virtual | ~TermConsumer () |
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. | |
virtual void | doneConsumingList () |
Must be called once after each time beginConsumingList has been called. | |
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. | |
Definition at line 29 of file BigTermConsumer.h.
|
virtual |
Definition at line 24 of file BigTermConsumer.cpp.
Tell the consumer to begin consuming an ideal.
It is required to call this method before calling consume().
Implements TermConsumer.
Implemented in AnalyzeConsumer, BigTermRecorder, ExternalIdealConsumerWrapper, IdealConsolidator, IO::IdealWriter, IrreducibleIdealSplitter, NullTermConsumer, and TranslatingTermConsumer.
Definition at line 50 of file BigTermConsumer.cpp.
Reimplemented in AnalyzeConsumer, and BigTermRecorder.
Definition at line 63 of file BigTermConsumer.cpp.
Reimplemented in AnalyzeConsumer, IdealConsolidator, IO::IdealWriter, NullTermConsumer, and TranslatingTermConsumer.
Definition at line 55 of file BigTermConsumer.cpp.
Consume a term.
Implements TermConsumer.
Reimplemented in AnalyzeConsumer, IdealConsolidator, IrreducibleIdealSplitter, NullTermConsumer, and TranslatingTermConsumer.
Definition at line 42 of file BigTermConsumer.cpp.
|
pure virtual |
Implemented in AnalyzeConsumer, BigTermRecorder, ExternalIdealConsumerWrapper, IdealConsolidator, IO::IdealWriter, IrreducibleIdealSplitter, NullTermConsumer, TranslatingTermConsumer, and AnalyzeConsumer.
Definition at line 30 of file BigTermConsumer.cpp.
Tell the consumer which ring is being used.
Reimplemented from TermConsumer.
Implemented in AnalyzeConsumer, BigTermRecorder, ExternalIdealConsumerWrapper, IdealConsolidator, IO::IdealWriter, IrreducibleIdealSplitter, NullTermConsumer, and TranslatingTermConsumer.
Must be called once after each time beginConsuming has been called.
Implements TermConsumer.
Implemented in AnalyzeConsumer, BigTermRecorder, ExternalIdealConsumerWrapper, IdealConsolidator, IO::IdealWriter, IrreducibleIdealSplitter, NullTermConsumer, and TranslatingTermConsumer.