Frama-C API - Offsetmap
Maps from intervals to values.
module type Parameters = sig ... endmodule Make (V : Offsetmap_lattice_with_isotropy.S) (_ : Parameters) : Offsetmap_sig.S with type v = V.t and type widen_hint = V.widen_hintMaps 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.tMaps from intervals to simple values. The documentation of the returned maps is in module Offsetmap_bitwise_sig.