Make (u.66dc398d3fb39e53f228131aa7934c8b.ocamlgraph.2.2.0.doc.ocamlgraph.Graph.Contraction.Make)

Parameters

module G : G

Signature

Sourcemodule S : Set.S with type elt = G.vertex

Sourcemodule M : Map.S with type key = G.vertex

Sourceval contract : (G.E.t -> bool) -> G.t -> G.t

contract p g will perform edge contraction on the graph g. The edges for which the property p holds/is true will get contracted: The resulting graph will not have these edges; the start- and end-node of these edges will get united. The result graph does not include nodes with no incoming or outgoing edges.

Sourceval contract' : (G.E.t -> bool) -> G.t -> G.t * S.t M.t

As for contract but additionally returns a mapping that associates each node in the original graph to the set of nodes with which it is contracted in the result graph. The minimum element of each such set is used as the representative of the set in the result graph. Nodes with no incoming or outgoing edges are present in the mapping even if they are omitted from the result graph.