package frama-c

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

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 = State.t and type E.t = State.t * 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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events Blog 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