Module type Sig.LabeledGraph

module type LabeledGraph = sig .. end

Graphs with identifiers and labeled edges.

include Sig.Graph

type label

val add_edge : t -> node -> label -> node -> unit

val iter_labeled_succ : (label -> vertex -> unit) -> t -> vertex -> unit

val iter_edges : (node -> label -> node -> unit) -> t -> unit