Frobby 0.9.5
|
#include <TermIgnorer.h>
Public Member Functions | |
virtual void | consume (const Term &term) |
Consume a term. | |
![]() | |
virtual | ~TermConsumer () |
virtual void | consumeRing (const VarNames &names) |
Tell the consumer which ring is being used. | |
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 | beginConsuming ()=0 |
Tell the consumer to begin consuming an ideal. | |
virtual void | doneConsuming ()=0 |
Must be called once after each time beginConsuming has been called. | |
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 25 of file TermIgnorer.h.