From 406f1cb90432538087e2c66ad2b081fe2f9928f8 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Thu, 19 Apr 2012 13:20:47 -0700 Subject: [PATCH] model: add class Backtrack --- model.h | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/model.h b/model.h index a347350..2097d29 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(); -- 2.34.1