projects
/
sbp.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
a891589
)
remove Node from GSS.hash when destroyed
author
adam
<adam@megacz.com>
Sun, 9 Sep 2007 19:04:17 +0000
(15:04 -0400)
committer
adam
<adam@megacz.com>
Sun, 9 Sep 2007 19:04:17 +0000
(15:04 -0400)
darcs-hash:
20070909190417
-5007d-
ea48e8b6865651ea97ccdc66ca415f2b53e4fe8a
.gz
src/edu/berkeley/sbp/Node.java
patch
|
blob
|
history
diff --git
a/src/edu/berkeley/sbp/Node.java
b/src/edu/berkeley/sbp/Node.java
index
740d8a6
..
6fe6a74
100644
(file)
--- a/
src/edu/berkeley/sbp/Node.java
+++ b/
src/edu/berkeley/sbp/Node.java
@@
-40,6
+40,8
@@
final class Node
dead |= results.size()==0;
if (!dead) return;
destroyed = true;
dead |= results.size()==0;
if (!dead) return;
destroyed = true;
+ if (phase() != null && phase().hash != null)
+ phase().hash.remove(state, predPhase);
while(successors.size()>0)
for(Result r : successors) {
successors.remove(r);
while(successors.size()>0)
for(Result r : successors) {
successors.remove(r);