Module Kruskal.Generic

Functor providing an implementation of Kruskal's minimum-spanning-tree algorithm using a user-defined union-find algorithm. Parameter W ensures that label on edges are comparable.

Parameters

module G : G
module W : Sig.ORDERED_TYPE with type t = G.E.label
module UF : UNIONFIND with type elt = G.V.t

Signature

val spanningtree : G.t -> G.E.t list