Module Flow

module Flow: sig .. end
Algorithms on flows

The following flow algorithms only apply to networks, that are directed graphs together with a source (a 0 in-degree vertex) and a terminal (a 0 out-degree vertex).



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.
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.
module type FLOWMIN = sig .. end
module Ford_Fulkerson: 
functor (G : G_FORD_FULKERSON) ->
functor (F : FLOWMIN with type label = G.E.label) -> sig .. end