Module WpAnnot.Hannots


module Hannots: Cil2cfg.HE(sig
type t = WpAnnot.prop_type list * WpAnnot.prop_type list 
end)
This is an Hashtbl where some predicates are stored on CFG edges. On each edge, we store (hypotheses, goals).

type ti = I.t 
type t = (int * int, ti) Hashtbl.t 
val create : int -> ('a, 'b) Hashtbl.t
val edge_key : Cil2cfg.CFG.E.t -> int * int
val find : (int * int, 'a) Hashtbl.t -> Cil2cfg.CFG.E.t -> 'a
val replace : (int * int, 'a) Hashtbl.t -> Cil2cfg.CFG.E.t -> 'a -> unit