+void WaitObj::add_waiting_for(thread_id_t other, int dist)
+{
+ waiting_for.add(other);
+ dist_table.put(other, dist);
+}
+
+void WaitObj::add_waited_by(thread_id_t other)
+{
+ waited_by.add(other);
+}
+
+void WaitObj::remove_waiting_for(thread_id_t other)
+{
+ waiting_for.remove(other);
+ dist_table.remove(other);
+}
+
+void WaitObj::remove_waited_by(thread_id_t other)
+{
+ waited_by.remove(other);
+}
+