From: Brian Norris <banorris@uci.edu>
Date: Tue, 3 Jul 2012 16:23:11 +0000 (-0700)
Subject: action: add {get,set}_value(), assign default value
X-Git-Tag: pldi2013~389^2^2~2
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=bcaa8e3b0181455d702b9f0e634dc9258f7ab84b;p=model-checker.git

action: add {get,set}_value(), assign default value
---

diff --git a/action.h b/action.h
index 8ccebe3..e342e63 100644
--- a/action.h
+++ b/action.h
@@ -31,7 +31,7 @@ class ClockVector;
  */
 class ModelAction {
 public:
-	ModelAction(action_type_t type, memory_order order, void *loc, int value);
+	ModelAction(action_type_t type, memory_order order, void *loc, int value = VALUE_NONE);
 	~ModelAction();
 	void print(void) const;
 
@@ -40,9 +40,11 @@ public:
 	memory_order get_mo() const { return order; }
 	void * get_location() const { return location; }
 	int get_seq_number() const { return seq_number; }
+	int get_value() const { return value; }
 
 	Node * get_node() const { return node; }
 	void set_node(Node *n) { node = n; }
+	void set_value(int val) { value = val; }
 
 	bool is_read() const;
 	bool is_write() const;