A map associating with each vertex its index

Property definitions

graph $ TarjanAlgorithm :: vertex_to_index
	# A map associating with each vertex its index
	var vertex_to_index = new HashMap[V, Int]
lib/graph/digraph.nit:626,2--627,42