5 #include "modeltypes.h"
12 thread_id_t get_tid() { return tid; }
14 thrd_id_set_t * getWaitingFor() { return &waiting_for; }
15 thrd_id_set_t * getWaitingBy() { return &waited_by; }
16 int lookup_dist(thread_id_t other_tid);
18 void print_waiting_for();
19 void print_waited_by();
25 /* The set of threads this thread (tid) is waiting for */
26 thrd_id_set_t waiting_for;
28 /* The set of threads waiting for this thread */
29 thrd_id_set_t waited_by;
31 HashTable<thread_id_t, int, int, 0> dist_table;