model: use TreeNode()

Very basic initialization...

diff --git a/model.cc b/model.cc
index 1015701d917803c75541fb2d3b830a0f223c301c..88f6b339231cf6a51df50288e92313682158825a 100644 (file)
--- 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 cd922dff7f945d1808b3e44b91ec433971ab71c2..dd2613b1b3a8c04cf9419965e8d0e97bea0f465c 100644 (file)
--- 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;