1 #ifndef PRGRAPHVISITORS_H_     2 #define PRGRAPHVISITORS_H_    91     void reset()
 override { m_nodesSucceeded = 0; };
    93     void runThroughAdjacents( boost::graph_traits<precedence::PrecTrace>::vertex_descriptor, 
precedence::PrecTrace );
    95     int m_nodesSucceeded{0};
   131     uint m_currentDepth{0};
   132     uint m_maxKnownDepth{0};
   152     void reset()
 override { m_nodesSucceeded = 0; };
   156     int m_nodesSucceeded{0};
 
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
Class representing the event slot. 
DecisionUpdater(EventSlot &slot, const Cause &cause, bool ifTrace=false)
Constructor. 
Supervisor(EventSlot &slot, const Cause &cause, bool ifTrace=false)
Constructor.