rename Node->StateNode
[sbp.git] / src / edu / berkeley / sbp / util / PrintableTree.java
index ba26a58..802296d 100644 (file)
@@ -87,9 +87,9 @@ public abstract class PrintableTree<T extends PrintableTree> implements Iterable
 
     // this is here to keep it out of the javadoc for Tree<T>
     
 
     // this is here to keep it out of the javadoc for Tree<T>
     
-    public GraphViz.Node toGraphViz(GraphViz gv) {
+    public GraphViz.StateNode toGraphViz(GraphViz gv) {
         if (gv.hasNode(this)) return gv.createNode(this);
         if (gv.hasNode(this)) return gv.createNode(this);
-        GraphViz.Node n = gv.createNode(this);
+        GraphViz.StateNode n = gv.createNode(this);
         n.label = head()==null ? "" : head().toString();
         for(T t : this) n.edge(t, null);
         return n;
         n.label = head()==null ? "" : head().toString();
         for(T t : this) n.edge(t, null);
         return n;