bug fix

[c11tester.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index edaf397e2ee7d4c335ac35f5cce60debaae9b546..4efd60292e24175f0aa3cfc7544a5eeab4904328 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -1,6 +1,6 @@
 /** @file nodestack.h
  *  @brief Stack of operations for use in backtracking.
-*/
+ */
 
 #ifndef __NODESTACK_H__
 #define __NODESTACK_H__
@@ -32,7 +32,7 @@ public:
        ModelAction * get_uninit_action() const { return uninit_action; }
        void print() const;
 
-       MEMALLOC
+       SNAPSHOTALLOC
 private:
        ModelAction * const action;
 
@@ -40,7 +40,7 @@ private:
        ModelAction *uninit_action;
 };
 
-typedef ModelVector<Node *> node_list_t;
+typedef SnapVector<Node *> node_list_t;
 
 /**
  * @brief A stack of nodes
@@ -56,14 +56,14 @@ public:
        ~NodeStack();
 
        void register_engine(const ModelExecution *exec);
-       ModelAction * explore_action(ModelAction *act);
+       void add_action(ModelAction *act);
        Node * get_head() const;
        Node * get_next() const;
        void reset_execution();
        void full_reset();
        void print() const;
 
-       MEMALLOC
+       SNAPSHOTALLOC
 private:
        node_list_t node_list;
        const struct model_params * get_params() const;
@@ -80,4 +80,4 @@ private:
        int head_idx;
 };
 
-#endif /* __NODESTACK_H__ */
+#endif /* __NODESTACK_H__ */