Module type Flow.FLOW

module type FLOW = sig .. end

Signature for edges' flow.

type t

Type of edges.

type label

Type of labels on edges.

Maximum and minimum capacities for a label on an edge.

val max_capacity : label -> t

Current flow for a label on an edge.

val flow : label -> t

+ and - on flows.

val add : t -> t -> t

val sub : t -> t -> t

Neutral element for add and sub.

val zero : t

A total ordering over flows.

val compare : t -> t -> int