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

Parameters:

`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)