make Result.usedByNonDoomedNode() more efficient
authoradam <adam@megacz.com>
Mon, 26 Feb 2007 03:18:16 +0000 (22:18 -0500)
committeradam <adam@megacz.com>
Mon, 26 Feb 2007 03:18:16 +0000 (22:18 -0500)
commitaa4e862db418a090b37b2d70c72fc9e0d1a4265c
tree4e512d1cf12ff65c73b2013ba21b02c64645b5e5
parent95f4a5cf20e69dce4499b55f794eb08827511b17
make Result.usedByNonDoomedNode() more efficient

darcs-hash:20070226031816-5007d-707b2ef2091a7fc7cefaee5ebd132d8c5a06dd0c.gz
src/edu/berkeley/sbp/Result.java