projects
/
sbp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
more unform naming for add/remove
[sbp.git]
/
src
/
edu
/
berkeley
/
sbp
/
ResultNode.java
diff --git
a/src/edu/berkeley/sbp/ResultNode.java
b/src/edu/berkeley/sbp/ResultNode.java
index
9b14882
..
e22bd45
100644
(file)
--- a/
src/edu/berkeley/sbp/ResultNode.java
+++ b/
src/edu/berkeley/sbp/ResultNode.java
@@
-16,9
+16,6
@@
final class ResultNode
private Pos reduction;
private GSS.Phase predPhase;
private Pos reduction;
private GSS.Phase predPhase;
- public boolean predecessorsContains(StateNode n) {
- return predecessors.contains(n);
- }
public Pos reduction() { return reduction; }
public void merge(Forest newf) {
this.f.merge(newf);
public Pos reduction() { return reduction; }
public void merge(Forest newf) {
this.f.merge(newf);
@@
-30,11
+27,8
@@
final class ResultNode
*/
}
*/
}
- public boolean noSuccessors() { return successors.size()==0; }
-
public GSS.Phase phase() { return predPhase; }
public Forest getForest() { return f; }
public GSS.Phase phase() { return predPhase; }
public Forest getForest() { return f; }
- public Iterable<StateNode> getPreds() { return predecessors; }
public void addSucc(StateNode succ) {
if (successors.contains(succ)) return;
successors.add(succ);
public void addSucc(StateNode succ) {
if (successors.contains(succ)) return;
successors.add(succ);
@@
-71,7
+65,7
@@
final class ResultNode
while(successors.size() > 0)
for(StateNode succ : successors) {
removeSucc(succ);
while(successors.size() > 0)
for(StateNode succ : successors) {
removeSucc(succ);
- succ.removeResult(this);
+ succ.removePred(this);
break;
}
successors = null;
break;
}
successors = null;