Module Graph_algorithms.Make

Parameters

module V : Core_kernel.Comparable.S

Signature

module G : sig ... end
val connected_component : G.t -> V.Set.Elt.t -> ( V.Map.Key.t, V.Set.Elt.comparator_witness ) Core_kernel.Set.t
val choose : G.t -> V.t option
val connected : G.t -> bool
val remove_vertex : G.t -> V.Map.Key.t -> G.t
val connectivity : G.t -> Nat.t