nodestack: register ModelExecution class w/in NodeStack

[model-checker.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index e260f083c80a9455cabf4f0c23c3d30e0c9ccb1c..1a8bbbe9f371cc2bef422ec2218e96f989fb28a8 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -186,6 +186,9 @@ class NodeStack {
 public:
        NodeStack();
        ~NodeStack();
+
+       void register_engine(const ModelExecution *exec);
+
        ModelAction * explore_action(ModelAction *act, enabled_type_t * is_enabled);
        Node * get_head() const;
        Node * get_next() const;
@@ -199,6 +202,9 @@ public:
 private:
        node_list_t node_list;
 
+       /** @brief The model-checker execution object */
+       const ModelExecution *execution;
+
        /**
         * @brief the index position of the current head Node
         *