From: weiyu <weiyuluo1232@gmail.com>
Date: Fri, 15 Feb 2019 01:50:20 +0000 (-0800)
Subject: clean up unnecessary member functions
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0c1316778e47ff7ee89b9c4c58be2d56330169b8;p=c11tester.git

clean up unnecessary member functions
---

diff --git a/action.h b/action.h
index 2ca1429a..1b3ccfbd 100644
--- 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 f73f4fa2..cdc317c9 100644
--- 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;