#include <src/PRGraphVisitors.h>
Definition at line 135 of file PRGraphVisitors.h.
| concurrency::RunSimulator::RunSimulator |
( |
EventSlot & |
slot, |
|
|
const Cause & |
cause |
|
) |
| |
|
inline |
| void concurrency::RunSimulator::reset |
( |
| ) |
|
|
inlineoverridevirtual |
| bool concurrency::RunSimulator::visit |
( |
DecisionNode & |
node | ) |
|
|
overridevirtual |
Reimplemented from concurrency::IGraphVisitor.
Definition at line 413 of file PRGraphVisitors.cpp.
417 bool allChildDecisionsResolved =
true;
418 for (
auto child : node.getDaughters() ) {
421 if ( childDecision == 1 && node.m_modeOR && node.m_modePromptDecision ) {
426 if ( childDecision == -1 ) {
427 allChildDecisionsResolved =
false;
433 return allChildDecisionsResolved;
std::vector< int > controlFlowState
State of the control flow.
Reimplemented from concurrency::IGraphVisitor.
Definition at line 445 of file PRGraphVisitors.cpp.
453 if ( State::INITIAL == states[node.getAlgoIndex()] ) {
454 states.updateState( node.getAlgoIndex(), State::CONTROLREADY );
455 if ( dataPromoter.visit( node ) ) {
456 states.updateState( node.getAlgoIndex(), State::SCHEDULED );
457 states.updateState( node.getAlgoIndex(), State::EVTACCEPTED );
463 }
else if ( State::CONTROLREADY == states[node.getAlgoIndex()] && dataPromoter.visit( node ) ) {
464 states.updateState( node.getAlgoIndex(), State::SCHEDULED );
465 states.updateState( node.getAlgoIndex(), State::EVTACCEPTED );
AlgsExecutionStates algsStates
Vector of algorithms states.
std::vector< int > controlFlowState
State of the control flow.
| bool concurrency::RunSimulator::visitEnter |
( |
DecisionNode & |
node | ) |
const |
|
overridevirtual |
| bool concurrency::RunSimulator::visitEnter |
( |
AlgorithmNode & |
node | ) |
const |
|
overridevirtual |
| Cause concurrency::RunSimulator::m_cause |
| int concurrency::RunSimulator::m_nodesSucceeded {0} |
The documentation for this class was generated from the following files: