rename Node.results to Node.predecessors, add type parameter to Node

[sbp.git] / src / edu / berkeley / sbp / ResultNode.java

diff --git a/src/edu/berkeley/sbp/ResultNode.java b/src/edu/berkeley/sbp/ResultNode.java
index d61b06b..bce43c5 100644 (file)
--- a/src/edu/berkeley/sbp/ResultNode.java
+++ b/src/edu/berkeley/sbp/ResultNode.java
@@ -6,7 +6,8 @@ import edu.berkeley.sbp.Sequence.Pos;
 import edu.berkeley.sbp.Sequence.Pos;
 import java.util.*;
 
-final class ResultNode extends Node {
+final class ResultNode
+    extends Node<StateNode> {
 
     private Forest.Many f = new Forest.Many();
     //private HashSet<StateNode> predecessors = new HashSet<StateNode>();