-#if SIMGRID_HAVE_STATEFUL_MC
- VisitedStates visited_states_;
- std::unique_ptr<VisitedState> visited_state_;
-#else
- void* visited_state_ = nullptr; /* The code uses it to detect whether we are doing stateful MC */
-#endif
+
+ /**
+ * Provides additional metadata about the position in the exploration graph
+ * which is used by SDPOR and ODPOR
+ */
+ odpor::Execution execution_seq_;
+
+ /** Per-actor clock vectors used to compute the "happens-before" relation */
+ std::unordered_map<aid_t, ClockVector> per_actor_clocks_;