package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `CfgCompiler.T`Source

Relocatable term

Sourcetype t

Sourceval pretty : Format.formatter -> t -> unit

Sourceval create : Sigma.sigma Node.Map.t -> Lang.F.term -> t

Bundle a term with the sigma sequence that created it.

Sourceval get : t -> Lang.F.term

Sourceval reads : t -> Sigma.domain Node.Map.t

Sourceval relocate : Sigma.sigma Node.Map.t -> t -> t

Sourceval init : Node.Set.t -> (Sigma.sigma Node.Map.t -> Lang.F.term) -> t

Sourceval init' : Node.t -> (Sigma.sigma -> Lang.F.term) -> t