From: Brian Norris <banorris@uci.edu>
Date: Wed, 18 Apr 2012 01:23:25 +0000 (-0700)
Subject: model: use TreeNode()
X-Git-Tag: pldi2013~547
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=abedadbaa941d312cccfe370d98e23874fe7af82;p=model-checker.git

model: use TreeNode()

Very basic initialization...
---

diff --git a/model.cc b/model.cc
index 1015701..88f6b33 100644
--- a/model.cc
+++ b/model.cc
@@ -14,11 +14,15 @@ ModelChecker::ModelChecker()
 	this->scheduler = new Scheduler();
 
 	this->current_action = NULL;
+
+	rootNode = new TreeNode(NULL);
+	currentNode = rootNode;
 }
 
 ModelChecker::~ModelChecker()
 {
 	delete this->scheduler;
+	delete rootNode;
 }
 
 void ModelChecker::assign_id(Thread *t)
diff --git a/model.h b/model.h
index cd922df..dd2613b 100644
--- a/model.h
+++ b/model.h
@@ -8,6 +8,7 @@
 #include "libthreads.h"
 #include "libatomic.h"
 #include "threads.h"
+#include "tree.h"
 
 #define VALUE_NONE -1
 
@@ -55,6 +56,7 @@ private:
 	class ModelAction *current_action;
 	std::list<class ModelAction *> action_trace;
 	std::map<thread_id_t, class Thread *> thread_map;
+	class TreeNode *rootNode, *currentNode;
 };
 
 extern ModelChecker *model;