Module Graph__Oper.Choose

Choose an element in a graph

Parameters

Signature

val choose_vertex : G.t -> G.vertex

choose_vertex g returns a vertex from the graph.

raises Invalid_argument

if the graph is empty.

val choose_edge : G.t -> G.edge

choose_edge g returns an edge from the graph.

raises Invalid_argument

if the graph has no edge.