Module Graph.GmapSource

Graph mapping. Map a graph to another one.

Mapping of vertices

Sourcemodule type V_SRC = sig ... end

Signature for the source graph.

Sourcemodule type V_DST = sig ... end

Signature for the destination graph.

Sourcemodule Vertex (G_Src : V_SRC) (G_Dst : V_DST) : sig ... end

Provide a mapping function from a mapping of vertices.

Mapping of edges

Sourcemodule type E_SRC = sig ... end

Signature for the source graph.

Sourcemodule type E_DST = sig ... end

Signature for the destination graph.

Sourcemodule Edge (G_Src : E_SRC) (G_Dst : E_DST) : sig ... end

Provide a mapping function from a mapping of edges.