X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FResultNode.java;h=9b14882041e0c898d14a5eb553c44f2bd3a82c52;hp=671940ae2d01bc1cabcfb36e56df8373dc1f7943;hb=c404939a6dfed4dcfdca5ede08db99b3e5ef0c91;hpb=c53fc2952c7885d727500ce404887d552c5dec5f

diff --git a/src/edu/berkeley/sbp/ResultNode.java b/src/edu/berkeley/sbp/ResultNode.java
index 671940a..9b14882 100644
--- a/src/edu/berkeley/sbp/ResultNode.java
+++ b/src/edu/berkeley/sbp/ResultNode.java
@@ -7,13 +7,9 @@ import edu.berkeley.sbp.Sequence.Pos;
 import java.util.*;
 
 final class ResultNode
-    implements GraphViz.ToGraphViz {
+    extends Node<StateNode> {
 
     private Forest.Many f = new Forest.Many();
-    //private HashSet<StateNode> predecessors = new HashSet<StateNode>();
-    //private HashSet<StateNode> successors = new HashSet<StateNode>();
-    private FastSet<StateNode> predecessors = new FastSet<StateNode>();
-    private FastSet<StateNode> successors = new FastSet<StateNode>();
     private boolean destroyed = false;
     private boolean primordeal;
     private int usedByNonDoomedNode = 0;
@@ -105,20 +101,5 @@ final class ResultNode
         if (pred != null) addPred(pred);
     }
 
-    // GraphViz //////////////////////////////////////////////////////////////////////////////
-
-    public GraphViz.StateNode toGraphViz(GraphViz gv) {
-        if (gv.hasNode(this)) return gv.createNode(this);
-        GraphViz.StateNode n = gv.createNode(this);
-        n.label = ""+f;
-        n.shape = "rectangle";
-        //if (pred()!=null) n.edge(pred, "");
-        n.color = "blue";
-        if (phase() != null)
-            ((GraphViz.Group)phase().toGraphViz(gv)).add(n);
-        return n;
-    }
-    public boolean isTransparent() { return false; }
-    public boolean isHidden() { return false; }
 
 }
\ No newline at end of file