Frama-C API - Logic_info_structural
Logic_info with structural comparison:
- name of the symbol
- type of arguments Note that polymorphism is ignored, in the sense that two symbols with the same name and profile except for the name of their type variables will compare unequal.
include Datatype.S_with_collections with type t = Cil_types.logic_info
include Datatype.S with type t = Cil_types.logic_info
include Datatype.S_no_copy with type t = Cil_types.logic_info
include Datatype.Ty with type t = Cil_types.logic_info
type t = Cil_types.logic_info
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