Module Graph__.Flow

Maximum flow algorithms

module type FLOW = sig ... end

Signature for edges' flow.

Goldberg-Tarjan maximal flow algorithm

module type G_GOLDBERG_TARJAN = sig ... end

Minimal graph signature for Goldberg-Tarjan. Sub-signature of Sig.G.

module Goldberg_Tarjan : functor (G : G_GOLDBERG_TARJAN) -> functor (F : FLOW with type label = G.E.label) -> sig ... end

Ford-Fulkerson maximal flow algorithm

module type G_FORD_FULKERSON = sig ... end

Minimal digraph signature for Ford-Fulkerson. Sub-signature of Sig.G.

module type FLOWMIN = sig ... end
module Ford_Fulkerson : functor (G : G_FORD_FULKERSON) -> functor (F : FLOWMIN with type label = G.E.label) -> sig ... end