tree: remove tree_t, map thread ids via int, not thread_id_t
authorBrian Norris <banorris@uci.edu>
Tue, 1 May 2012 20:16:09 +0000 (13:16 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 1 May 2012 20:16:09 +0000 (13:16 -0700)
commit9f1c792a01ecbc86624f4c16d0a2bc763485a590
tree0eb252afa5e7c951e0801bd50c8f41a9585d369c
parent3cade2fadc95d3dcbc37f5e6c4da4b8e9b559c23
tree: remove tree_t, map thread ids via int, not thread_id_t

In the underlying structure of the TreeNode, use 'int' as a set and list key,
not 'thread_id_t'.
tree.cc
tree.h