X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=action.h;h=a8233eb765184ceafb4837ae171c7826fe40d6b8;hb=d55f961768e13c12ab9d7b6a4f7f1490748f18c5;hp=00289355be9db60dd14c4cec2eace3381ac2e79a;hpb=7d4e8c29bd2118e162d910435afe5e485cc0f5ed;p=c11tester.git

diff --git a/action.h b/action.h
index 00289355..a8233eb7 100644
--- a/action.h
+++ b/action.h
@@ -73,6 +73,7 @@ typedef enum action_type {
 	ATOMIC_NOTIFY_ONE,	// < A notify_one action
 	ATOMIC_NOTIFY_ALL,	// < A notify all action
 	ATOMIC_WAIT,	// < A wait action
+	ATOMIC_TIMEDWAIT,	// < A timed wait action
 	ATOMIC_ANNOTATION,	// < An annotation action to pass information to a trace analysis
 	NOOP	// no operation, which returns control to scheduler
 } action_type_t;
@@ -122,6 +123,7 @@ public:
 
 	void copy_from_new(ModelAction *newaction);
 	void set_seq_number(modelclock_t num);
+	void reset_seq_number();
 	void set_try_lock(bool obtainedlock);
 	bool is_thread_start() const;
 	bool is_thread_join() const;