model: add class Backtrack

diff --git a/model.h b/model.h
index a347350acea1b7aadc65e6eb78e2938107e4e181..2097d2916d5891c499b01a3d72ea085eb936e184 100644 (file)
--- 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();