Module type Cil2cfg.HEsig

module type HEsig = sig .. end
signature of a mapping table from cfg edges to some information.

type ti 
type t 
val create : int -> t
val find : t -> Cil2cfg.edge -> ti
val find_all : t -> Cil2cfg.edge -> ti list
val add : t -> Cil2cfg.edge -> ti -> unit
val replace : t -> Cil2cfg.edge -> ti -> unit
val remove : t -> Cil2cfg.edge -> unit
val clear : t -> unit