Module Graph__Nonnegative

Weighted graphs without negative-cycles.

module Imperative : functor (G : Graph.Sig.IM) -> functor (W : Graph.Sig.WEIGHT with type edge = G.E.t) -> sig ... end
module Persistent : functor (G : Graph.Sig.P) -> functor (W : Graph.Sig.WEIGHT with type edge = G.E.t) -> sig ... end

Persistent graphs with negative-cycle prevention