Frama-C API - Region
module R : Layout.Data with type t = region
module Map : Qed.Idxmap.S with type key = region
module Set : Qed.Idxset.S with type elt = region
val create : unit -> map
val is_empty : map -> bool
val id : region -> int
val add_offset : map -> region -> Layout.offset -> region
val field_offset : map -> Frama_c_kernel.Cil_types.fieldinfo -> int * int
val get_froms : map -> region -> region Layout.from list
val get_roots : map -> region -> Layout.root
val is_garbled : region -> bool
val has_pointed : region -> bool
val has_layout : region -> bool
val has_offset : region -> Layout.offset -> bool
val has_copies : region -> bool
val has_deref : region -> bool
val has_names : region -> bool
val has_return : map -> bool
val get_offset : map -> region -> Layout.offset -> region option
val acs_read : region -> Layout.lvalue -> unit
val acs_write : region -> Layout.lvalue -> unit
val acs_shift : region -> Layout.lvalue -> unit
val acs_deref : region -> Layout.deref -> unit
val is_read : region -> bool
val is_written : region -> bool
val is_shifted : region -> bool
val is_aliased : region -> bool
val iter_read : (Layout.lvalue -> unit) -> region -> unit
val iter_write : (Layout.lvalue -> unit) -> region -> unit
val iter_shift : (Layout.lvalue -> unit) -> region -> unit
val iter_deref : (Layout.deref -> unit) -> region -> unit
val iter_offset : map -> (Layout.offset -> region -> unit) -> region -> unit
val iter_vars : map -> (Frama_c_kernel.Cil_types.varinfo -> region -> unit) -> unit
val of_cvar : map -> Frama_c_kernel.Cil_types.varinfo -> region
val cluster : map -> region -> region Layout.cluster
val chunk : map -> region -> region Layout.chunk
val chunks : map -> region -> Layout.chunks
val fusion : map -> unit
val fusionned : map -> bool
val fixpoint : map -> unit