X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=action.h;h=68db2c35899c479b5aa1b0b9329f049a14b84e45;hp=96b791ee50bb12695de577b21f75e8926347103b;hb=b6f06ab2c626eb6e0f044fa9c7d1b74fbc82a09d;hpb=188fd67da0c7cb891960093e85bb4c9a5718050d

diff --git a/action.h b/action.h
index 96b791e..68db2c3 100644
--- a/action.h
+++ b/action.h
@@ -125,6 +125,9 @@ public:
 	void process_rmw(ModelAction * act);
 	void copy_typeandorder(ModelAction * act);
 
+	void set_sleep_flag() { sleep_flag=true; }
+	bool get_sleep_flag() { return sleep_flag; }
+
 	MEMALLOC
 private:
 
@@ -155,6 +158,8 @@ private:
 	/** The clock vector stored with this action; only needed if this
 	 * action is a store release? */
 	ClockVector *cv;
+
+	bool sleep_flag;
 };
 
 typedef std::list< ModelAction *, SnapshotAlloc<ModelAction *> > action_list_t;