Graph module with dot attributes
include Sig.Gmodule V : Sig.VERTEXVertices have type V.t and are labeled with type V.label (note that an implementation may identify the vertex with its label)
type vertex = V.tEdges have type E.t and are labeled with type E.label. src (resp. dst) returns the origin (resp. the destination) of a given edge.
type edge = E.tval is_empty : t -> boolval nb_vertex : t -> intval nb_edges : t -> intDegree of a vertex
out_degree g v returns the out-degree of v in g.
Invalid_argument if v is not in g.
in_degree g v returns the in-degree of v in g.
Invalid_argument if v is not in g.
find_edge g v1 v2 returns the edge from v1 to v2 if it exists. Unspecified behaviour if g has several edges from v1 to v2.
Not_found if no such edge exists.
find_all_edges g v1 v2 returns all the edges from v1 to v2.
You should better use iterators on successors/predecessors (see Section "Vertex iterators").
succ g v returns the successors of v in g.
Invalid_argument if v is not in g.
pred g v returns the predecessors of v in g.
Invalid_argument if v is not in g.
Labeled edges going from/to a vertex
succ_e g v returns the edges going from v in g.
Invalid_argument if v is not in g.
pred_e g v returns the edges going to v in g.
Invalid_argument if v is not in g.
Iter on all edges of a graph. Edge label is ignored.
Fold on all edges of a graph. Edge label is ignored.
Map on all vertices of a graph.
The current implementation requires the supplied function to be injective. Said otherwise, map_vertex cannot be used to contract a graph by mapping several vertices to the same vertex. To contract a graph, use instead create, add_vertex, and add_edge.
Each iterator iterator f v g iters f to the successors/predecessors of v in the graph g and raises Invalid_argument if v is not in g. It is the same for functions fold_* which use an additional accumulator.
<b>Time complexity for ocamlgraph implementations:</b> operations on successors are in O(1) amortized for imperative graphs and in O(ln(|V|)) for persistent graphs while operations on predecessors are in O(max(|V|,|E|)) for imperative graphs and in O(max(|V|,|E|)*ln|V|) for persistent graphs.
iter/fold on all successors/predecessors of a vertex.
iter/fold on all edges going from/to a vertex.
val graph_attributes : t -> DotAttributes.graph listVertex attributes
val default_vertex_attributes : t -> DotAttributes.vertex listval vertex_name : V.t -> stringval vertex_attributes : V.t -> DotAttributes.vertex listEdge attributes
val default_edge_attributes : t -> DotAttributes.edge listval edge_attributes : E.t -> DotAttributes.edge listval get_subgraph : V.t -> DotAttributes.subgraph optionThe box (if exists) which the vertex belongs to. Boxes with same names are not distinguished and so they should have the same attributes.