Frama-C API - Offsetmap
Maps from intervals to values.
module Make (V : Offsetmap_lattice_with_isotropy.S) : Offsetmap_sig.S with type v = V.t and type widen_hint = V.widen_hint
Maps from intervals to values. The documentation of the returned maps is in module Offsetmap_sig
.
module Make_bitwise (V : sig ... end) : Offsetmap_bitwise_sig.S with type v = V.t and type intervals = {Int_Intervals}1.t
Maps from intervals to simple values. The documentation of the returned maps is in module Offsetmap_bitwise_sig
.