nodestack: compute parent ModelAction externally

[model-checker.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index cf3c6db146675c0cb7f41d994f988925209fc976..af7808227b420ff431a3549490dc37e55a36fd08 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -45,7 +45,7 @@ class NodeStack {
 public:
        NodeStack();
        ~NodeStack();
-       ModelAction * explore_action(ModelAction *act);
+       ModelAction * explore_action(ModelAction *act, ModelAction *parent);
        Node * get_head();
        Node * get_next();
        void reset_execution();