more unform naming for add/remove
[sbp.git] / src / edu / berkeley / sbp / ResultNode.java
index 9b14882..e22bd45 100644 (file)
@@ -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;