graph :: TarjanAlgorithm :: _vertex_to_index
# A map associating with each vertex its index var vertex_to_index = new HashMap[V, Int]