Graph.parseTree constructor
Implementation
factory Graph.parseTree(ITree node, [String name = "Tree"])
{
var graph = Graph(name: name);
graph.setNode(node.hashCode.toString(), label: node.getLabel());
for (var (edgeLabel, child) in node.getChilds()) {
final treeChild = Graph.parseTree(child);
graph.setEdge(node.hashCode.toString(), child.hashCode.toString(), label: edgeLabel);
graph._nodes.addAll(treeChild._nodes);
graph._edges.addAll(treeChild._edges);
}
return graph;
}