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.
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.