#include <src/PRGraphVisitors.h>
Definition at line 38 of file PRGraphVisitors.h.
concurrency::DecisionUpdater::DecisionUpdater |
( |
EventSlot & |
slot, |
|
|
const Cause & |
cause, |
|
|
bool |
ifTrace = false |
|
) |
| |
|
inline |
Reimplemented from concurrency::IGraphVisitor.
Definition at line 109 of file PRGraphVisitors.cpp.
116 if (
true == node.isOptimist() )
118 else if ( AState::EVTACCEPTED == state )
119 decision = !node.isLiar();
120 else if ( AState::EVTREJECTED == state )
121 decision = node.isLiar();
123 if ( -1 != decision ) {
128 for (
const auto&
output : node.getOutputDataNodes() )
129 for (
auto& consumer :
output->getConsumers() ) consumer->accept( promoter );
132 for (
auto& p : node.getParentDecisionHubs() ) p->accept( vis );
AlgsExecutionStates::State AState
AlgsExecutionStates algsStates
Vector of algorithms states.
std::vector< int > controlFlowState
State of the control flow.
Cause concurrency::DecisionUpdater::m_cause |
EventSlot* concurrency::DecisionUpdater::m_slot |
bool concurrency::DecisionUpdater::m_trace |
The documentation for this class was generated from the following files: