Remove unused codes

[c11tester.git] / action.h

diff --git a/action.h b/action.h
index fafa27cd1f4e68cee555917005f6e06af366c3cc..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;
@@ -224,10 +226,6 @@ private:
        /** @brief The value written (for write or RMW; undefined for read) */
        uint64_t value;
 
-       /** @brief The value this action read from (only used when reads_from is an
-        *  uninitialized action)  */
-       uint64_t reads_from_value;
-
        /** @brief Type of action (read, write, RMW, fence, thread create, etc.) */
        action_type type;