X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=history.h;h=803077693e6ef8edab7ddd0f2552a1e341502708;hp=2cf93f8a6480cc22b339a9fffbfb5b12019cd625;hb=dc255d1dd25f734bc6b1aae2f39418381c0823b5;hpb=c635df842e0738f2478bdd21a103155ee5c58c97

diff --git a/history.h b/history.h
index 2cf93f8a..80307769 100644
--- a/history.h
+++ b/history.h
@@ -38,8 +38,10 @@ public:
 	void remove_waiting_write(thread_id_t tid);
 	void check_waiting_write(ModelAction * write_act);
 	SnapVector<ConcretePredicate *> * getThrdWaitingWrite() { return thrd_waiting_write; }
-	thrd_id_set_t * getWaitingFor(thread_id_t tid);
+
 	WaitObj * getWaitObj(thread_id_t tid);
+	void add_waiting_thread(thread_id_t self_id, thread_id_t waiting_for_id, int dist);
+	void remove_waiting_thread(thread_id_t self_id, thread_id_t waiting_for_id);
 
 	SnapVector<inst_act_map_t *> * getThrdInstActMap(uint32_t func_id);