Factorize more code between DFSExplo and LivenessExplo, and UDPOR

[simgrid.git] / src / mc / mc_record.hpp

diff --git a/src/mc/mc_record.hpp b/src/mc/mc_record.hpp
index 2958780..753ffaf 100644 (file)
--- a/src/mc/mc_record.hpp
+++ b/src/mc/mc_record.hpp
@@ -36,6 +36,8 @@ public:
   std::string to_string() const;
 
   void push_back(Transition* t) { transitions_.push_back(t); }
+  std::vector<Transition*>::const_iterator begin() const { return transitions_.begin(); }
+  std::vector<Transition*>::const_iterator end() const { return transitions_.end(); }
 
   /** Replay all transitions of a trace */
   void replay() const;