Module Cil2cfg.CFG

module CFG: sig .. end

include struct ... end
val add_vertex : (S.t * S.t) HM.t -> HM.key -> unit
val add_edge : (S.t * S.t) HM.t -> HM.key -> HM.key -> unit
val remove_edge : (S.t * S.t) HM.t -> HM.key -> HM.key -> unit
val remove_edge_e : (S.t * S.t) HM.t -> HM.key * Cil2cfg.EL.t * HM.key -> unit
val add_edge_e : (S.t * S.t) HM.t -> HM.key * Cil2cfg.EL.t * HM.key -> unit
val remove_vertex : (S.t * S.t) HM.t -> HM.key -> unit