Add some methods for WaitObj
[c11tester.git] / history.h
index 2cf93f8..8030776 100644 (file)
--- 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);