-/** Whether the MC record mode is enabled
- *
- * The behaviour is not changed. The only real difference is that
- * the path is writtent in the log when an interesting path is found.
- */
-#define MC_record_is_active() _sg_do_model_check_record
+ void push_front(Transition* t) { transitions_.push_front(t); }
+ void push_back(Transition* t) { transitions_.push_back(t); }
+ std::deque<Transition*>::const_iterator begin() const { return transitions_.begin(); }
+ std::deque<Transition*>::const_iterator end() const { return transitions_.end(); }
+
+ /** Replay all transitions of a trace */
+ void replay() const;
+
+ /** Parse and replay a string representation */
+ static void replay(const std::string& trace);
+};