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=acd01341c8c5293b0d2e1ed9ad1e5a6fe4a6de2b;hp=35f727d340fa5b24b3a88fd9e42a751b54bc5137;hb=053eb99c444844015cfdb486b03c55adb0a3cd7f;hpb=5d881ff49c40eacd47314a400dc69cc88edc9156

diff --git a/src/edu/berkeley/sbp/StateNode.java b/src/edu/berkeley/sbp/StateNode.java
index 35f727d..acd0134 100644
--- a/src/edu/berkeley/sbp/StateNode.java
+++ b/src/edu/berkeley/sbp/StateNode.java
@@ -15,7 +15,6 @@ final class StateNode
     extends Node
     implements Invokable<Pos, ResultNode, Object>,
                IntegerMappable,
-               GraphViz.ToGraphViz,
                Iterable<ResultNode> {
 
     /** which GSS.Phase this StateNode belongs to */
@@ -145,22 +144,4 @@ final class StateNode
         result.addSucc(this);
         if (!this.fromEmptyReduction) state.invokeReductions(phase().getToken(), this, result);
     }
-
-    // GraphViz //////////////////////////////////////////////////////////////////////////////
-
-    public GraphViz.StateNode toGraphViz(GraphViz gv) {
-        if (results.size()==0) return null;
-        if (gv.hasNode(this)) return gv.createNode(this);
-        GraphViz.StateNode n = gv.createNode(this);
-        n.label = "state["+state.toInt()+"]";
-        n.shape = "rectangle";
-        boolean haspreds = false;
-        for(ResultNode r : results) n.edge(r, "");
-        n.color = state.doomed ? "red" : "green";
-        ((GraphViz.Group)phase().toGraphViz(gv)).add(n);
-        return n;
-    }
-    public boolean isTransparent() { return false; }
-    public boolean isHidden() { return false; }
-
 }