Frobby 0.9.5
|
Classes | |
struct | RightConsumer |
Public Member Functions | |
Task * | getLeftEvent () |
TermConsumer * | getLeftConsumer () |
TermConsumer * | getRightConsumer () |
const Projection & | getLeftProjection () |
const Projection & | getRightProjection () |
void | reset (TermConsumer *consumer, IndependenceSplitter &splitter) |
![]() | |
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. | |
![]() | |
virtual | ~Task () |
Private Member Functions | |
virtual void | run (TaskEngine &engine) |
Does whatever work this task represents. | |
virtual void | dispose () |
Called when the task is no longer used but run has not and will not be called. | |
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. | |
Private Attributes | |
MsmIndependenceSplit::RightConsumer | _rightConsumer |
TermConsumer * | _consumer |
Projection | _leftProjection |
Projection | _rightProjection |
Term | _tmpTerm |
Definition at line 178 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 221 of file MsmStrategy.cpp.
Called when the task is no longer used but run has not and will not be called.
This can happen from a destructor being called due to an exception, so dispose must not throw an exception under any circumstances.
Implements Task.
Definition at line 217 of file MsmStrategy.cpp.
Must be called once after each time beginConsuming has been called.
Implements TermConsumer.
Definition at line 224 of file MsmStrategy.cpp.
|
inline |
Definition at line 184 of file MsmStrategy.cpp.
|
inline |
Definition at line 180 of file MsmStrategy.cpp.
|
inline |
Definition at line 192 of file MsmStrategy.cpp.
|
inline |
Definition at line 188 of file MsmStrategy.cpp.
|
inline |
Definition at line 196 of file MsmStrategy.cpp.
|
inline |
Definition at line 200 of file MsmStrategy.cpp.
|
inlineprivatevirtual |
Does whatever work this task represents.
The parameter can be used to schedule additional tasks.
Implements Task.
Definition at line 213 of file MsmStrategy.cpp.
|
private |
Definition at line 251 of file MsmStrategy.cpp.
|
private |
Definition at line 253 of file MsmStrategy.cpp.
|
private |
|
private |
Definition at line 254 of file MsmStrategy.cpp.
|
private |
Definition at line 256 of file MsmStrategy.cpp.