module Nonnegative: sig
.. end
Weighted graphs without negative-cycles.
module type WEIGHT = sig
.. end
Signature for edges' weights.
module Imperative: functor (
G
:
Sig.IM
) ->
functor (
W
:
WEIGHT
with type label = G.E.label
) ->
sig
.. end
module Persistent: functor (
G
:
Sig.P
) ->
functor (
W
:
WEIGHT
with type label = G.E.label
) ->
sig
.. end
Persistent graphs with negative-cycle prevention