model: add accessors for ModelAction variables

(+ add 'node' member, pointing to the state-space tree just before the action)

diff --git a/model.h b/model.h
index dd2613b1b3a8c04cf9419965e8d0e97bea0f465c..2762e107f7f66f1b8a34529ec29c2aea3915e565 100644 (file)
--- a/model.h
+++ b/model.h
@@ -24,12 +24,21 @@ class ModelAction {
 public:
        ModelAction(action_type_t type, memory_order order, void *loc, int value);
        void print(void);
+
+       thread_id_t get_tid() { return tid; }
+       action_type get_type() { return type; }
+       memory_order get_mo() { return order; }
+       void *get_location() { return location; }
+
+       TreeNode *get_node() { return node; }
+       void set_node(TreeNode *n) { node = n; }
 private:
        action_type type;
        memory_order order;
        void *location;
        thread_id_t tid;
        int value;
+       TreeNode *node;
 };
 
 class ModelChecker {