module State_dependency_graph:State Dependency Graph.sig
..end
module type G =sig
..end
Graph.Sig.G
module type S =sig
..end
module type Attributes =sig
..end
Graph.GraphViZ.Dot
.
module Dynamic:sig
..end
module Static:sig
..end
module Static_datatype:Datatype.S
with type t = Static.t
module Remove_useless_states:functor (
G
:
Graph.Sig.P
) ->
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.module Vertices:State.Local
module Vertices_datatype:Datatype.S
with type t = Vertices.t
module Make_dynamic: