X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=action.h;h=be87eca33f7400da44e308a598c6c3084044d620;hb=84d0cd2f078f4cb15c318a0fef2515feab570375;hp=4c40bd9bf9a4554ed7c984158334f359346031c5;hpb=9bbf98ac065e34fc1c35538328d02d51e74ccc0f;p=model-checker.git

diff --git a/action.h b/action.h
index 4c40bd9..be87eca 100644
--- a/action.h
+++ b/action.h
@@ -85,6 +85,8 @@ public:
 	Node * get_node() const { return node; }
 	void set_node(Node *n) { node = n; }
 
+	void set_read_from(const ModelAction *act);
+
 	/** Store the most recent fence-release from the same thread
 	 *  @param fence The fence-release that occured prior to this */
 	void set_last_fence_release(const ModelAction *fence) { last_fence_release = fence; }
@@ -94,6 +96,7 @@ public:
 	void copy_from_new(ModelAction *newaction);
 	void set_seq_number(modelclock_t num);
 	void set_try_lock(bool obtainedlock);
+	bool is_thread_start() const;
 	bool is_relseq_fixup() const;
 	bool is_mutex_op() const;
 	bool is_lock() const;
@@ -123,7 +126,6 @@ public:
 
 	void create_cv(const ModelAction *parent = NULL);
 	ClockVector * get_cv() const { return cv; }
-	bool read_from(const ModelAction *act);
 	bool synchronize_with(const ModelAction *act);
 
 	bool has_synchronized_with(const ModelAction *act) const;