Frama-C:
Plug-ins:
Libraries:

Frama-C API - S

Signature of a State Dependency Graph. It is compatible with the signature of OcamlGraph imperative graph Graph.Sig.I.

  • since Carbon-20101201
module G : Graph.Sig.G with type V.t = Frama_c_kernel.State.t and type E.t = Frama_c_kernel.State.t * Frama_c_kernel.State.t
val graph : G.t
val add_dependencies : from:State.t -> State.t list -> unit

Add an edge in graph from the state from to each state of the list.

  • since Carbon-20101201
val add_codependencies : onto:State.t -> State.t list -> unit

Add an edge in graph from each state of the list to the state onto.

  • since Carbon-20101201
val remove_dependencies : from:State.t -> State.t list -> unit

Remove an edge in graph from the given state to each state of the list.

  • since Fluorine-20130401
val remove_codependencies : onto:State.t -> State.t list -> unit

Remove an edge in graph from each state of the list to the state onto.

  • since Oxygen-20120901