Module State_dependency_graph

module State_dependency_graph: sig .. end

State Dependency Graph.


Signatures

module type S = sig .. end

Signature of a State Dependency Graph.

module type Attributes = sig .. end

Signature required by Graph.GraphViZ.Dot.

include State_dependency_graph.S
val add_state : State.t -> State.t list -> unit
module Attributes: Attributes 
module Dot: 
functor (A : Attributes-> sig .. end
val dump : string -> unit