Frobby 0.9.5
|
BigTermRecorder records all the terms it consumes into an ideal. More...
#include <BigTermRecorder.h>
Public Member Functions | |
BigTermRecorder () | |
virtual void | consumeRing (const VarNames &names) |
Tell the consumer which ring is being used. | |
virtual void | beginConsuming () |
Tell the consumer to begin consuming an ideal. | |
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. | |
virtual void | consume (auto_ptr< BigIdeal > ideal) |
bool | empty () const |
auto_ptr< BigIdeal > | releaseIdeal () |
const VarNames & | getRing () |
![]() | |
virtual | ~BigTermConsumer () |
virtual void | consume (const Term &term) |
Consume a term. | |
virtual void | consume (const 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. | |
Private Attributes | |
VarNames | _names |
size_t | _idealCount |
list< BigIdeal * > | _ideals |
ElementDeleter< list< BigIdeal * > > | _idealsDeleter |
BigTermRecorder records all the terms it consumes into an ideal.
Definition at line 31 of file BigTermRecorder.h.
BigTermRecorder::BigTermRecorder | ( | ) |
Definition at line 24 of file BigTermRecorder.cpp.
|
virtual |
Tell the consumer to begin consuming an ideal.
It is required to call this method before calling consume().
Implements BigTermConsumer.
Definition at line 38 of file BigTermRecorder.cpp.
Reimplemented from BigTermConsumer.
Definition at line 33 of file BigTermRecorder.cpp.
|
virtual |
Implements BigTermConsumer.
Definition at line 43 of file BigTermRecorder.cpp.
Implements BigTermConsumer.
Definition at line 57 of file BigTermRecorder.cpp.
Tell the consumer which ring is being used.
Implements BigTermConsumer.
Definition at line 29 of file BigTermRecorder.cpp.
|
virtual |
Must be called once after each time beginConsuming has been called.
Implements BigTermConsumer.
Definition at line 67 of file BigTermRecorder.cpp.
bool BigTermRecorder::empty | ( | ) | const |
Definition at line 70 of file BigTermRecorder.cpp.
Definition at line 81 of file BigTermRecorder.cpp.
Definition at line 74 of file BigTermRecorder.cpp.
|
private |
Definition at line 55 of file BigTermRecorder.h.
Definition at line 56 of file BigTermRecorder.h.
|
private |
Definition at line 57 of file BigTermRecorder.h.
|
private |
Definition at line 54 of file BigTermRecorder.h.