module Hannots: Cil2cfg.HE
(
sig
end
)
This is an Hashtbl where some predicates are stored on CFG edges.
On each edge, we store hypotheses and 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 find_all : (int * int, 'a) Hashtbl.t -> Cil2cfg.CFG.E.t -> 'a list
val add : (int * int, 'a) Hashtbl.t -> Cil2cfg.CFG.E.t -> 'a -> unit
val replace : (int * int, 'a) Hashtbl.t -> Cil2cfg.CFG.E.t -> 'a -> unit
val remove : (int * int, 'a) Hashtbl.t -> Cil2cfg.CFG.E.t -> unit
val clear : ('a, 'b) Hashtbl.t -> unit