Module type State_dependency_graph.S


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