Remove unused codes

[c11tester.git] / action.h

diff --git a/action.h b/action.h
index 00289355be9db60dd14c4cec2eace3381ac2e79a..a8233eb765184ceafb4837ae171c7826fe40d6b8 100644 (file)
--- 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;