Module Gmap.Vertex
Provide a mapping function from a mapping of vertices.
Parameters
Signature
val map : (G_Src.V.t -> G_Dst.vertex) -> G_Src.t -> G_Dst.t
map f g
appliesf
to each vertex ofg
and so builds a new graph based ong
val filter_map : (G_Src.V.t -> G_Dst.vertex option) -> G_Src.t -> G_Dst.t
filter_map f g
appliesf
to each vertex ofg
and so builds a new graph based ong
; ifNone
is returned byf
the vertex is omitted in the new graph.