import java.util.*;
import java.lang.reflect.*;
-class Result {
+class Result implements GraphViz.ToGraphViz {
private Forest f;
private Node parent;
if (parent != null) phase = parent.phase();
}
+ // GraphViz //////////////////////////////////////////////////////////////////////////////
+
+ public GraphViz.Node toGraphViz(GraphViz gv) {
+ if (gv.hasNode(this)) return gv.createNode(this);
+ GraphViz.Node n = gv.createNode(this);
+ n.label = ""+f;
+ n.shape = "rectangle";
+ if (parent()!=null) n.edge(parent, "");
+ 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