model: remove class Backtrack

diff --git a/model.cc b/model.cc
index e5af1a6f328e729ffe7885071a42c1a70dc4581a..f4da33071170beb37d21e55fbe21f498281a79a2 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -8,26 +8,6 @@
 
 #define INITIAL_THREAD_ID      0
 
-class Backtrack {
-public:
-       Backtrack(ModelAction *d, action_list_t *t) {
-               diverge = d;
-               actionTrace = t;
-               iter = actionTrace->begin();
-       }
-       ModelAction * get_diverge() { return diverge; }
-       action_list_t * get_trace() { return actionTrace; }
-       void advance_state() { iter++; }
-       ModelAction * get_state() {
-               return iter == actionTrace->end() ? NULL : *iter;
-       }
-private:
-       ModelAction *diverge;
-       action_list_t *actionTrace;
-       /* points to position in actionTrace as we replay */
-       action_list_t::iterator iter;
-};
-
 ModelChecker *model;
 
 void free_action_list(action_list_t *list)