From abedadbaa941d312cccfe370d98e23874fe7af82 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 17 Apr 2012 18:23:25 -0700
Subject: [PATCH] model: use TreeNode()

Very basic initialization...
---
 model.cc | 4 ++++
 model.h  | 2 ++
 2 files changed, 6 insertions(+)

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;
-- 
2.34.1