Module State_dependency_graph.Dynamic


module Dynamic: sig .. end
The Dynamic State Dependency Graph. This module contains both the static states and the dynamic ones, with all their dependencies. Static states are built at Frama-C initialisation time and are never deleted. Dynamic states are mainly generated by dashtables: a dynamic state is generated each time a new binding is added on a dashtable and deleted each time a binding is removed from a dashtable.
Since Carbon-20101201

include State_dependency_graph.S
module Attributes: State_dependency_graph.Attributes 
module Dot: 
functor (A : State_dependency_graph.Attributes) -> sig .. end
val dump : string -> unit