X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FStateNode.java;fp=src%2Fedu%2Fberkeley%2Fsbp%2FStateNode.java;h=bb461cb3cb4d7d0ed3d5236621e9b4f5924934aa;hp=2a438e506ef723ed3467499c8f679ed476145726;hb=76ce41540f06ac1fbcb44332dd62f53e88c27cf1;hpb=9680415a3e36240dcac947b3d4d1ad6b312c4fce

diff --git a/src/edu/berkeley/sbp/StateNode.java b/src/edu/berkeley/sbp/StateNode.java
index 2a438e5..bb461cb 100644
--- a/src/edu/berkeley/sbp/StateNode.java
+++ b/src/edu/berkeley/sbp/StateNode.java
@@ -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);