1 #ifndef PRGRAPHVISITORS_H_ 2 #define PRGRAPHVISITORS_H_ 85 void reset()
override { m_nodesSucceeded = 0; };
87 void runThroughAdjacents( boost::graph_traits<precedence::PrecTrace>::vertex_descriptor,
precedence::PrecTrace );
89 int m_nodesSucceeded{0};
121 uint m_currentDepth{0};
122 uint m_maxKnownDepth{0};
141 void reset()
override { m_nodesSucceeded = 0; };
145 int m_nodesSucceeded{0};
Class representing an event slot.
virtual bool visit(DecisionNode &)
virtual bool visitEnter(DecisionNode &) const
RunSimulator(EventSlot &slot, const Cause &cause)
Constructor.
boost::adjacency_list< boost::vecS, boost::vecS, boost::bidirectionalS, AlgoTraceProps > PrecTrace
DecisionUpdater(EventSlot &slot, const Cause &cause, bool ifTrace=false)
Constructor.
Supervisor(EventSlot &slot, const Cause &cause, bool ifTrace=false)
Constructor.