#include <src/PRGraphVisitors.h>
Definition at line 36 of file PRGraphVisitors.h.
concurrency::DecisionUpdater::DecisionUpdater |
( |
EventSlot & |
slot, |
|
|
const Cause & |
cause, |
|
|
bool |
ifTrace = false |
|
) |
| |
|
inline |
Reimplemented from concurrency::IGraphVisitor.
Definition at line 103 of file PRGraphVisitors.cpp.
109 if (
true == node.isOptimist() )
111 else if ( AState::EVTACCEPTED == state )
112 decision = !node.isLiar();
113 else if ( AState::EVTREJECTED == state )
114 decision = node.isLiar();
116 if ( -1 != decision ) {
121 for (
const auto&
output : node.getOutputDataNodes() )
122 for (
auto& consumer :
output->getConsumers() ) consumer->accept( promoter );
125 for (
auto& p : node.getParentDecisionHubs() ) p->accept( vis );
AlgsExecutionStates::State AState
std::vector< int > controlFlowState
State of the control flow.
AlgsExecutionStates algsStates
Vector of algorithms states.
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: