snapshot-interface: cleanup interface header

[model-checker.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index 2fd84ddeb11e98171ffacefa2fadad1e704079c4..eebfa5ba1c0c8c4771bb625e490fb6dbfeb97c16 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -5,6 +5,7 @@
 #include <vector>
 #include <cstddef>
 #include "threads.h"
+#include "mymemory.h"
 
 class ModelAction;
 
@@ -26,17 +27,19 @@ public:
        void print();
 
        static int get_total_nodes() { return total_nodes; }
+
+       MEMALLOC
 private:
        void explore(thread_id_t tid);
 
        static int total_nodes;
        ModelAction *action;
        int num_threads;
-       std::vector<bool> explored_children;
-       std::vector<bool> backtrack;
+       std::vector< bool, MyAlloc<bool> > explored_children;
+       std::vector< bool, MyAlloc<bool> > backtrack;
 };
 
-typedef std::list<class Node *> node_list_t;
+typedef std::list<class Node *, MyAlloc< class Node * > > node_list_t;
 
 class NodeStack {
 public:
@@ -48,6 +51,8 @@ public:
        void reset_execution();
 
        void print();
+
+       MEMALLOC
 private:
        node_list_t node_list;
        node_list_t::iterator iter;