Functor Nonnegative.Persistent

module Persistent: functor (G : Sig.P) -> functor (W : WEIGHT  with type label = G.E.label) -> sig .. end

Persistent graphs with negative-cycle prevention

Parameters:

`G`	:	`Sig.P`
`W`	:	`WEIGHT with type label = G.E.label`

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)