Dump Gliph to GraphViz

raw.php

<?php

	public function dump(DirectedAdjacencyList $func, $filename) {
		$ctr = 0;
		$graph = Graph::create("dump");
		$nodes = new \SplObjectStorage;
		$scope = new \SplObjectStorage;
		foreach ($func->eachVertex() as $vertex => $_) {
			$nodes[$vertex] = Node::create('node_' . $ctr++);
			$graph->setNode($nodes[$vertex]);
		}
		foreach ($func->eachEdge() as $edge) {
			$graph->link(Edge::create($nodes[$edge[0]], $nodes[$edge[1]]));
		}
		$graph->export('png', $filename);
	}