package frama-c

  1. Overview
  2. Docs
On This Page
  1. Signatures
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

State Dependency Graph.

  • since Carbon-20101201

Signatures

module type S = sig ... end

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

module type Attributes = sig ... end

Signature required by Graph.GraphViZ.Dot. See the OcamlGraph's documentation for additional details.

include S
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
val add_state : State.t -> State.t list -> unit
module Dot (_ : Attributes) : sig ... end
val dump : string -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct