module Choose:functor (
G
:
sig
type
t
type
vertex
type
edge
val iter_vertex :(vertex -> unit) -> t -> unit
val iter_edges_e :(edge -> unit) -> t -> unit
end
) ->
sig
..end
Choose an element in a graph
Parameters: |
|
val choose_vertex : G.t -> G.vertex
choose_vertex g
returns a vertex from the graph.
Invalid_argument
if the graph is empty.val choose_edge : G.t -> G.edge
choose_edge g
returns an edge from the graph.
Invalid_argument
if the graph has no edge.