#include <BigTermConsumer.h>
Public Member Functions | |
| virtual | ~BigTermConsumer () |
| virtual void | consumeRing (const VarNames &names)=0 |
| Tell the consumer which ring is being used. More... | |
| virtual void | beginConsuming ()=0 |
| Tell the consumer to begin consuming an ideal. More... | |
| virtual void | consume (const vector< mpz_class > &term)=0 |
| virtual void | doneConsuming ()=0 |
| Must be called once after each time beginConsuming has been called. More... | |
| virtual void | consume (const Term &term) |
| Consume a term. More... | |
| 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) |
 Public Member Functions inherited from TermConsumer | |
| 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. More... | |
| virtual void | doneConsumingList () |
| Must be called once after each time beginConsumingList has been called. More... | |
| 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... | |
Detailed Description
Definition at line 29 of file BigTermConsumer.h.
Constructor & Destructor Documentation
◆ ~BigTermConsumer()
|
virtual |
Definition at line 24 of file BigTermConsumer.cpp.
Member Function Documentation
◆ beginConsuming() [1/2]
|
pure virtual |
Tell the consumer to begin consuming an ideal.
It is required to call this method before calling consume().
Implements TermConsumer.
Implemented in TranslatingTermConsumer, NullTermConsumer, IrreducibleIdealSplitter, IO::IdealWriter, IdealConsolidator, ExternalIdealConsumerWrapper, BigTermRecorder, and AnalyzeConsumer.
◆ beginConsuming() [2/2]
| void BigTermConsumer::beginConsuming | ( | const VarNames & | names | ) |
Definition at line 50 of file BigTermConsumer.cpp.
◆ consume() [1/5]
|
virtual |
Reimplemented in BigTermRecorder.
Definition at line 63 of file BigTermConsumer.cpp.
◆ consume() [2/5]
|
virtual |
Reimplemented in TranslatingTermConsumer, NullTermConsumer, IO::IdealWriter, and IdealConsolidator.
Definition at line 55 of file BigTermConsumer.cpp.
◆ consume() [3/5]
|
virtual |
Consume a term.
Implements TermConsumer.
Reimplemented in TranslatingTermConsumer, NullTermConsumer, IrreducibleIdealSplitter, and IdealConsolidator.
Definition at line 42 of file BigTermConsumer.cpp.
◆ consume() [4/5]
|
pure virtual |
Implemented in TranslatingTermConsumer, NullTermConsumer, IrreducibleIdealSplitter, IO::IdealWriter, IdealConsolidator, ExternalIdealConsumerWrapper, BigTermRecorder, and AnalyzeConsumer.
Definition at line 30 of file BigTermConsumer.cpp.
◆ consume() [5/5]
|
pure virtual |
◆ consumeRing()
|
pure virtual |
Tell the consumer which ring is being used.
Reimplemented from TermConsumer.
Implemented in TranslatingTermConsumer, NullTermConsumer, IrreducibleIdealSplitter, IO::IdealWriter, IdealConsolidator, ExternalIdealConsumerWrapper, BigTermRecorder, and AnalyzeConsumer.
◆ doneConsuming()
|
pure virtual |
Must be called once after each time beginConsuming has been called.
Implements TermConsumer.
Implemented in TranslatingTermConsumer, NullTermConsumer, IrreducibleIdealSplitter, IO::IdealWriter, IdealConsolidator, ExternalIdealConsumerWrapper, BigTermRecorder, and AnalyzeConsumer.
The documentation for this class was generated from the following files:
- src/BigTermConsumer.h
- src/BigTermConsumer.cpp
