Module State_dependency_graph


module State_dependency_graph: sig .. end
State Dependency Graph.
Since Carbon-20101201


Signatures


module type G = sig .. end
Sub-signature of Graph.Sig.G
module type S = sig .. end
Signature of a State Dependency Graph.
module type Attributes = sig .. end
Signature required by Graph.GraphViZ.Dot.
module Dynamic: sig .. end
The Dynamic State Dependency Graph.
module Static: sig .. end
The Static State Dependency Graph.
module Static_datatype: Datatype.S  with type t = Static.t
module Remove_useless_states: 
functor (G : Graph.Sig.P) ->
functor (X : sig
val kind : State_dependency_graph.G.V.t -> State.kind
end) -> sig .. end

Internals

All this stuff should not be used outside of the Project library.

val add_state_like_the_others : State.t list -> State.t -> unit
add_state_like_others l s adds s to the same graph that each state of l. If states of l belong to different graphs, then adds s to the best graph as possible.
Since Carbon-20101201
module Vertices: State.Local 
module Vertices_datatype: Datatype.S  with type t = Vertices.t
module Make_dynamic: 
functor (T : sig
val name : string
end) -> sig .. end
Build a new dynamic graph, as part of the whole Dynamic State Dependency Graph.