Classes | |
| struct | RightConsumer |
Public Member Functions | |
| Task * | getLeftEvent () |
| TermConsumer * | getLeftConsumer () |
| TermConsumer * | getRightConsumer () |
| const Projection & | getLeftProjection () |
| const Projection & | getRightProjection () |
| void | reset (TermConsumer *consumer, IndependenceSplitter &splitter) |
 Public Member Functions inherited from TermConsumer | |
| virtual | ~TermConsumer () |
| virtual void | consumeRing (const VarNames &names) |
| Tell the consumer which ring is being used. More... | |
| 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. More... | |
| virtual void | doneConsumingList () |
| Must be called once after each time beginConsumingList has been called. More... | |
| 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. More... | |
| Public Member Functions inherited from Task | |
| virtual | ~Task () |
Private Member Functions | |
| virtual void | run (TaskEngine &engine) |
| Does whatever work this task represents. More... | |
| virtual void | dispose () |
| Called when the task is no longer used but run has not and will not be called. More... | |
| virtual void | beginConsuming () |
| Tell the consumer to begin consuming an ideal. More... | |
| virtual void | doneConsuming () |
| Must be called once after each time beginConsuming has been called. More... | |
| virtual void | consume (const Term &term) |
| Consume a term. More... | |
Private Attributes | |
| MsmIndependenceSplit::RightConsumer | _rightConsumer |
| TermConsumer * | _consumer |
| Projection | _leftProjection |
| Projection | _rightProjection |
| Term | _tmpTerm |
Detailed Description
Definition at line 178 of file MsmStrategy.cpp.
Member Function Documentation
◆ beginConsuming()
|
inlineprivatevirtual |
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.
◆ consume()
|
inlineprivatevirtual |
◆ dispose()
|
inlineprivatevirtual |
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.
◆ doneConsuming()
|
inlineprivatevirtual |
Must be called once after each time beginConsuming has been called.
Implements TermConsumer.
Definition at line 224 of file MsmStrategy.cpp.
◆ getLeftConsumer()
|
inline |
Definition at line 184 of file MsmStrategy.cpp.
◆ getLeftEvent()
|
inline |
Definition at line 180 of file MsmStrategy.cpp.
◆ getLeftProjection()
|
inline |
Definition at line 192 of file MsmStrategy.cpp.
◆ getRightConsumer()
|
inline |
Definition at line 188 of file MsmStrategy.cpp.
◆ getRightProjection()
|
inline |
Definition at line 196 of file MsmStrategy.cpp.
◆ reset()
|
inline |
Definition at line 200 of file MsmStrategy.cpp.
◆ run()
|
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.
Member Data Documentation
◆ _consumer
|
private |
Definition at line 251 of file MsmStrategy.cpp.
◆ _leftProjection
|
private |
Definition at line 253 of file MsmStrategy.cpp.
◆ _rightConsumer
|
private |
◆ _rightProjection
|
private |
Definition at line 254 of file MsmStrategy.cpp.
◆ _tmpTerm
|
private |
Definition at line 256 of file MsmStrategy.cpp.
The documentation for this class was generated from the following file:
- src/MsmStrategy.cpp
