clean up unnecessary member functions

diff --git a/action.h b/action.h
index 2ca1429aeffc460878de5cf3c9dc578593051fcd..1b3ccfbd181cf6ad4f2362ba853fe76ff09780f2 100644 (file)
--- a/action.h
+++ b/action.h
@@ -104,7 +104,6 @@ public:
        memory_order get_original_mo() const { return original_order; }
        void set_mo(memory_order order) { this->order = order; }
        void * get_location() const { return location; }
-       void * get_mutex_location() const { return location_mutex; }
        modelclock_t get_seq_number() const { return seq_number; }
        uint64_t get_value() const { return value; }
        uint64_t get_reads_from_value() const;
@@ -214,9 +213,6 @@ private:
        /** @brief A pointer to the memory location for this action. */
        void *location;
 
-       /** @brief A pointer to the memory location for mutex. */
-       void *location_mutex;
-
        /** @brief The thread id that performed this action. */
        thread_id_t tid;
 

diff --git a/model.h b/model.h
index f73f4fa23b08dbb247c7347609fa7cfe9c6ec398..cdc317c970cf865cc6e6ef07226f6e6cd806b241 100644 (file)
--- a/model.h
+++ b/model.h
@@ -65,7 +65,6 @@ public:
 
        Thread * get_thread(thread_id_t tid) const;
        Thread * get_thread(const ModelAction *act) const;
-       Thread * get_pthread(pthread_t pid);
 
        Thread * get_current_thread() const;