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;
private:
node_list_t node_list;
+ /** @brief The model-checker execution object */
+ const ModelExecution *execution;
+
/**
* @brief the index position of the current head Node
*