impl. AdjacencyListDirectedGraph