Frobby 0.9.5
|
Public Member Functions | |
AnalyzeConsumer () | |
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. | |
size_t | getGeneratorCount () const |
const VarNames & | getNames () const |
const vector< mpz_class > & | getLcm () const |
const mpz_class & | getMaximumExponent () const |
virtual void | consume (const vector< mpz_class > &term)=0 |
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) |
![]() | |
virtual | ~BigTermConsumer () |
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 | _generatorCount |
vector< mpz_class > | _lcm |
Definition at line 30 of file AnalyzeAction.cpp.
|
inline |
Definition at line 32 of file AnalyzeAction.cpp.
Tell the consumer to begin consuming an ideal.
It is required to call this method before calling consume().
Implements BigTermConsumer.
Definition at line 42 of file AnalyzeAction.cpp.
Reimplemented from BigTermConsumer.
Definition at line 41 of file BigTermConsumer.cpp.
Reimplemented from BigTermConsumer.
Definition at line 40 of file BigTermConsumer.cpp.
Consume a term.
Reimplemented from BigTermConsumer.
Definition at line 38 of file BigTermConsumer.cpp.
|
inlinevirtual |
Implements BigTermConsumer.
Definition at line 47 of file AnalyzeAction.cpp.
|
virtual |
Implements BigTermConsumer.
Definition at line 39 of file BigTermConsumer.cpp.
Implements BigTermConsumer.
Definition at line 51 of file AnalyzeAction.cpp.
Implements BigTermConsumer.
Tell the consumer which ring is being used.
Implements BigTermConsumer.
Definition at line 36 of file AnalyzeAction.cpp.
Must be called once after each time beginConsuming has been called.
Implements BigTermConsumer.
Definition at line 60 of file AnalyzeAction.cpp.
|
inline |
Definition at line 63 of file AnalyzeAction.cpp.
Definition at line 71 of file AnalyzeAction.cpp.
Definition at line 75 of file AnalyzeAction.cpp.
Definition at line 67 of file AnalyzeAction.cpp.
|
private |
Definition at line 82 of file AnalyzeAction.cpp.
|
private |
Definition at line 83 of file AnalyzeAction.cpp.
|
private |
Definition at line 81 of file AnalyzeAction.cpp.