X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FResultNode.java;h=e22bd45a41c07ea64b1f32e64c393481adec021e;hp=9b14882041e0c898d14a5eb553c44f2bd3a82c52;hb=76ce41540f06ac1fbcb44332dd62f53e88c27cf1;hpb=c404939a6dfed4dcfdca5ede08db99b3e5ef0c91

diff --git a/src/edu/berkeley/sbp/ResultNode.java b/src/edu/berkeley/sbp/ResultNode.java
index 9b14882..e22bd45 100644
--- 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;
 
-    public boolean predecessorsContains(StateNode n) {
-        return predecessors.contains(n);
-    }
     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 Iterable<StateNode> getPreds() { return predecessors; }
     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);
-                succ.removeResult(this);
+                succ.removePred(this);
                 break;
             }
         successors = null;