action: add get_node() accessor

[model-checker.git] / action.h

diff --git a/action.h b/action.h
index 9ba9c6320203c2b264a5ebf4fd13ed896e563582..cfe1f34eece13b4600f6de66393a872c7540e33a 100644 (file)
--- a/action.h
+++ b/action.h
@@ -33,6 +33,7 @@ public:
 
        TreeNode * get_treenode() { return treenode; }
        void set_node(TreeNode *n) { treenode = n; }
+       Node * get_node() { return node; }
        void set_node(Node *n) { node = n; }
 
        bool is_read();