Frama-C API - `Structure`

type t

type submemory

val pretty : Stdlib.Format.formatter -> t -> unit

val hash : t -> int

val equal : t -> t -> bool

val compare : t -> t -> int

val raw : t -> Abstract_memory.Bit.t

val of_raw : Abstract_memory.Bit.t -> t

val weak_erase : Abstract_memory.Bit.t -> t -> t

val is_included : t -> t -> bool

val unify : (submemory -> submemory -> submemory) -> t -> t -> t

val read : t -> Frama_c_kernel.Cil_types.fieldinfo -> submemory

val update : (submemory -> submemory Frama_c_kernel.Lattice_bounds.or_bottom) -> t -> Frama_c_kernel.Cil_types.fieldinfo -> t Frama_c_kernel.Lattice_bounds.or_bottom

val map : (submemory -> submemory) -> t -> t

Frama-C API - Structure

Frama-C API - `Structure`