#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 100 of file PRGraphVisitors.cpp.
104 const State&
state = states[node.getAlgoIndex()];
107 if (
true == node.isOptimist() )
109 else if ( State::EVTACCEPTED == state )
110 decision = !node.isLiar();
111 else if ( State::EVTREJECTED == state )
112 decision = node.isLiar();
114 if ( -1 != decision ) {
119 for (
const auto&
output : node.getOutputDataNodes() )
120 for (
auto& consumer :
output->getConsumers() ) consumer->accept( promoter );
123 for (
auto& p : node.getParentDecisionHubs() ) p->accept( vis );
AlgsExecutionStates algsStates
Vector of algorithms states.
std::vector< int > controlFlowState
State of the control flow.
State
Execution states of the algorithms.
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: