Parameter Run.G

type node

The type of vertices, or nodes.

val n : int

n is the number of nodes in the graph.

val index : node -> int

Each node must have a unique integer index. These indices must range from 0 (included) to n (excluded). The function index maps a node to its integer index.

val iter : (node -> unit) -> unit

iter enumerates all nodes in the graph. That is, iter yield applies the function yield to every node in the graph.

val successors : (node -> unit) -> node -> unit

successors enumerates the immediate successors of a node. That is, if v is a node then successors yield v applies the function yield to every node w such that there exists an edge from v to w.