package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Class `Pcfg.engine`Source

method virtual pp_atom : Format.formatter -> Wp__.Lang.F.term -> unit

method virtual pp_flow : Format.formatter -> Wp__.Lang.F.term -> unit

method is_atomic_lv : Wp__.Sigs.s_lval -> bool

method pp_ofs : Format.formatter -> Wp__.Sigs.s_offset -> unit

method pp_offset : Format.formatter -> Wp__.Sigs.s_offset list -> unit

method pp_host : Format.formatter -> Wp__.Sigs.s_host -> unit

current state

method pp_lval : Format.formatter -> Wp__.Sigs.s_lval -> unit

current state

method pp_init : Format.formatter -> Wp__.Sigs.s_lval -> unit

current state

method pp_addr : Format.formatter -> Wp__.Sigs.s_lval -> unit

method pp_label : Format.formatter -> label -> unit

label name

method pp_chunk : Format.formatter -> string -> unit

chunk name