From: Brian Norris <banorris@uci.edu>
Date: Mon, 14 May 2012 20:22:18 +0000 (-0700)
Subject: model: remove class Backtrack
X-Git-Tag: pldi2013~409^2~2
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=4ec91459b01a4e514f60393c2feadb94f6a75378;p=model-checker.git

model: remove class Backtrack
---

diff --git a/model.cc b/model.cc
index e5af1a6..f4da330 100644
--- 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)