X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=action.h;h=c8ad85bcc99bf1e051771d7a6779b99f58f0dae7;hp=ad3b828a6a5da33e61140eb0f9fa57831c00fefc;hb=HEAD;hpb=2d0d4ac38e05905a6633b3f2d5112ccadd45c27f

diff --git a/action.h b/action.h
index ad3b828..c8ad85b 100644
--- a/action.h
+++ b/action.h
@@ -96,6 +96,8 @@ public:
 	thread_id_t get_tid() const { return tid; }
 	action_type get_type() const { return type; }
 	memory_order get_mo() const { return order; }
+	memory_order get_original_mo() const { return original_order; }
+	void set_mo(memory_order order) { this->order = order; }
 	void * get_location() const { return location; }
 	modelclock_t get_seq_number() const { return seq_number; }
 	uint64_t get_value() const { return value; }
@@ -194,6 +196,9 @@ private:
 	/** @brief The memory order for this operation. */
 	memory_order order;
 
+	/** @brief The original memory order parameter for this operation. */
+	memory_order original_order;
+
 	/** @brief A pointer to the memory location for this action. */
 	void *location;