more unform naming for add/remove
[sbp.git] / src / edu / berkeley / sbp / StateNode.java
index 2a438e5..bb461cb 100644 (file)
@@ -115,14 +115,14 @@ final class StateNode
         successors.remove(succ);
         check();
     }
-    public void removeResult(ResultNode result) {
+    public void removePred(ResultNode result) {
         predecessors.remove(result);
         check();
     }
     public void addSucc(ResultNode succ)      {
         successors.add(succ);
     }
-    public void addResult(Forest f, Pos reduction, StateNode pred) {
+    public void addPred(Forest f, Pos reduction, StateNode pred) {
         for(ResultNode r : predecessors)
             if (r.predecessorsContains(pred)) {
                 r.merge(f);