Graph.parseTree constructor

Graph.parseTree(
  1. ITree node, [
  2. String name = "Tree"
])

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;
}