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:
val dump : string -> unit