Functor Nonnegative.Persistent

module Persistent: 
functor (G : Sig.P) ->
functor (W : Sig.WEIGHT with type edge = G.E.t) -> sig .. end
Persistent graphs with negative-cycle prevention
G : Sig.P
W : Sig.WEIGHT with type edge = G.E.t

include Sig.P
exception Negative_cycle of G.E.t list
Exception NegativeCycle is raised whenever a negative cycle is introduced for the first time (either with add_edge or add_edge_e)