Module Components.Memo


module Memo: sig .. end

val init : Components.kind -> Db_types.kernel_function -> unit
val push_function : Cil_types.stmt -> Db_types.kernel_function -> unit
val pop_function : unit -> unit
val memo : PdgTypes.Node.t ->
(unit -> (Db.Pdg.t_node * Db_types.kernel_function) list) ->
(Db.Pdg.t_node * Db_types.kernel_function) list