Frama-C API - ExpStructEqStrictSized
Structural equality, with strict constant comparison as in ConstantStrict
and with structural comparaison in case of sizeof (instead of id). Different expressions with the same size winthin sizeof are equal.
include Datatype.S with type t = Cil_types.exp
include Datatype.S_no_copy with type t = Cil_types.exp
val packed_descr : Structural_descr.pack
Packed version of the descriptor.
val reprs : t list
List of representants of the descriptor.
val hash : t -> int
Hash function: same spec than Hashtbl.hash
.
val pretty : Stdlib.Format.formatter -> t -> unit
Pretty print each value in an user-friendly way.
val mem_project : (Project_skeleton.t -> bool) -> t -> bool
mem_project f x
must return true
iff there is a value p
of type Project.t
in x
such that f p
returns true
.
module Set : Datatype.Set with type elt = t
module Map : Datatype.Map with type key = t
module Hashtbl : Datatype.Hashtbl with type key = t