module Hpred:HE
(
sig
typet =
Cil_types.predicate Cil_types.named list
end
)
typeti =
I.t
typet =
(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