X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FResultNode.java;h=65732a6e88ef126af37c6f96dd585b93c3722e6c;hp=579a86874726b882293402f841e57f8701dcbe26;hb=52e7a254d32940210e0efce25e622d6266fc7f37;hpb=d96df56ee69e62c4d4d6dfe3786ea4853e5120eb

diff --git a/src/edu/berkeley/sbp/ResultNode.java b/src/edu/berkeley/sbp/ResultNode.java
index 579a868..65732a6 100644
--- a/src/edu/berkeley/sbp/ResultNode.java
+++ b/src/edu/berkeley/sbp/ResultNode.java
@@ -9,8 +9,8 @@ import java.util.*;
 final class ResultNode
     extends Node<StateNode> {
 
-    private Forest.Many f = new Forest.Many();
     private Pos reduction;
+    private Forest.Many f = new Forest.Many();
 
     public void merge(Forest newf) { this.f.merge(newf); }
     public Pos reduction() { return reduction; }
@@ -29,9 +29,9 @@ final class ResultNode
         super.destroy();
     }
 
-    public void addPred(StateNode pred) {
+    protected void addPred(StateNode pred) {
         super.addPred(pred);
-        // results have only one predecessor
+        // results should have at most one predecessor
         if (predecessors.size() > 1) throw new Error();
     }