Module Path

module Path: sig .. end

Paths

module type G = sig .. end

Minimal graph signature for Dijkstra's algorithm.

module Dijkstra: functor (G : G) -> functor (W : Sig.WEIGHT  with type edge = G.E.t) -> sig .. end

module BellmanFord: functor (G : G) -> functor (W : Sig.WEIGHT  with type edge = G.E.t) -> sig .. end

module type WJ = sig .. end

Weight signature for Johnson's algorithm.

module Johnson: functor (G : G) -> functor (W : WJ  with type edge = G.E.t) -> sig .. end

module Check: functor (G : sig

type t

module V: Sig.COMPARABLE

val iter_succ : (V.t -> unit) -> t -> V.t -> unit

end) -> sig .. end

Check for a path.