module Make:
Parameters: |
|
val fold : (G.V.t -> 'a -> 'a) -> Topological.G.t -> 'a -> 'a
fold action seed g
allows iterating over the graph g
in topological order. action node accu
is called repeatedly,
where node
is the node being visited, and accu
is the result of
the action
's previous invocation, if any, and seed
otherwise.val iter : (G.V.t -> unit) -> Topological.G.t -> unit
iter action
calls action node
repeatedly. Nodes are (again)
presented to action
in topological order.