public string ToDot() { // var graph = GetGraph(); var gv = new ForestVisitors.GraphVisitors.GraphVisitor(this); var graph = gv.Graph(); return(graph.ToDot()); }
public string ToDot() { // var graph = GetGraph(); var gv = new ForestVisitors.GraphVisitors.GraphVisitor(this); var graph = gv.Graph(); return graph.ToDot(); }