package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Wp.Pcfg`Source

Sourcetype env

Sourcetype label

Sourcetype value =

Sourceval create : unit -> env

Sourceval register : Conditions.sequence -> env

Sourceval at : env -> id:int -> label

Sourceval find : env -> Lang.F.term -> value

val updates : 
  env ->
  label Sigs.sequence ->
  Lang.F.Vars.t ->
  Sigs.update Frama_c_kernel.Bag.t

Sourceval visible : label -> bool

Sourceval subterms : env -> (Lang.F.term -> unit) -> Lang.F.term -> bool

Sourceval prev : label -> label list

Sourceval next : label -> label list

Sourceval iter : (Sigs.mval -> Lang.F.term -> unit) -> label -> unit

Sourceval branching : label -> bool

Sourceclass virtual engine : object ... end