Digraph.map_vertex