Frobby 0.9.5
|
Public Member Functions | |
virtual void | beginConsuming () |
Tell the consumer to begin consuming an ideal. | |
virtual void | doneConsuming () |
Must be called once after each time beginConsuming has been called. | |
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 | 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. | |
Public Attributes | |
Ideal | _decom |
Definition at line 237 of file MsmStrategy.cpp.
Tell the consumer to begin consuming an ideal.
It is required to call this method before calling consume().
Implements TermConsumer.
Definition at line 238 of file MsmStrategy.cpp.
Must be called once after each time beginConsuming has been called.
Implements TermConsumer.
Definition at line 241 of file MsmStrategy.cpp.
Ideal MsmIndependenceSplit::RightConsumer::_decom |
Definition at line 248 of file MsmStrategy.cpp.