module type S = sig
.. end
Signature of a State Dependency Graph.
It is compatible with the signature of OcamlGraph imperative graph
Graph.Sig.I
.
Since Carbon-20101201
module G: State_dependency_graph.G
val graph : State_dependency_graph.G.t
val add_dependencies : from:State.t -> State.t list -> unit
Add an edge in graph
from the state from
to each state of the list.
Since Carbon-20101201
val add_codependencies : onto:State.t -> State.t list -> unit
Add an edge in graph
from each state of the list to the state onto
.
Since Carbon-20101201