From f69627bb829fdf0c601de820c4418d30edb41d57 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Thu, 19 Apr 2012 10:58:31 -0700
Subject: [PATCH] model: add accessors for ModelAction variables

(+ add 'node' member, pointing to the state-space tree just before the action)
---
 model.h | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/model.h b/model.h
index dd2613b1..2762e107 100644
--- 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 {
-- 
2.34.1