package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
inherit Wp__.Plang.engine
inherit Wp__.Pcfg.engine
method clear : unit
method set_sequence : Wp__.Conditions.sequence -> unit
method set_domain : Wp__.Lang.F.Vars.t -> unit

Default is sequence's domain

method domain : Wp__.Lang.F.Vars.t
method label_at : id:int -> Wp__.Pcfg.label
method updates : Wp__.Pcfg.label Wp__.Sigs.sequence -> Wp__.Sigs.update Frama_c_kernel.Bag.t
method pp_at : Format.formatter -> Wp__.Pcfg.label -> unit
method pp_update : Wp__.Pcfg.label -> Format.formatter -> Wp__.Sigs.update -> unit
method pp_value : Format.formatter -> Wp__.Lang.F.term -> 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