|
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.
|
|
Definition at line 178 of file MsmStrategy.cpp.
◆ beginConsuming()
virtual void MsmIndependenceSplit::beginConsuming |
( |
| ) |
|
|
inlineprivatevirtual |
◆ consume()
virtual void MsmIndependenceSplit::consume |
( |
const Term & | term | ) |
|
|
inlineprivatevirtual |
◆ dispose()
virtual void MsmIndependenceSplit::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()
virtual void MsmIndependenceSplit::doneConsuming |
( |
| ) |
|
|
inlineprivatevirtual |
◆ getLeftConsumer()
◆ getLeftEvent()
Task * MsmIndependenceSplit::getLeftEvent |
( |
| ) |
|
|
inline |
◆ getLeftProjection()
const Projection & MsmIndependenceSplit::getLeftProjection |
( |
| ) |
|
|
inline |
◆ getRightConsumer()
◆ getRightProjection()
const Projection & MsmIndependenceSplit::getRightProjection |
( |
| ) |
|
|
inline |
◆ reset()
◆ run()
virtual void MsmIndependenceSplit::run |
( |
TaskEngine & | engine | ) |
|
|
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.
◆ _consumer
◆ _leftProjection
◆ _rightConsumer
◆ _rightProjection
◆ _tmpTerm
Term MsmIndependenceSplit::_tmpTerm |
|
private |
The documentation for this class was generated from the following file: