From: Brian Norris <banorris@uci.edu>
Date: Thu, 19 Apr 2012 20:20:47 +0000 (-0700)
Subject: model: add class Backtrack
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=406f1cb90432538087e2c66ad2b081fe2f9928f8;p=c11tester.git

model: add class Backtrack
---

diff --git a/model.h b/model.h
index a347350a..2097d291 100644
--- a/model.h
+++ b/model.h
@@ -43,6 +43,22 @@ private:
 	TreeNode *node;
 };
 
+class Backtrack {
+public:
+	Backtrack(ModelAction *d, action_list_t *t) {
+		diverge = d;
+		actionTrace = t;
+		//currentIterator = actionTrace->getFirst();
+	}
+	ModelAction *get_diverge() { return diverge; }
+	action_list_t *get_trace() { return actionTrace; }
+private:
+	ModelAction *diverge;
+	/* unused for now; will be used when re-exploring this path? */
+	//MyListElement *currentIterator;
+	action_list_t *actionTrace;
+};
+
 class ModelChecker {
 public:
 	ModelChecker();