Module Register

module Register: sig .. end
Register external functions into Db.

val compute : unit -> unit
val pretty : ?bw:bool -> Format.formatter -> PdgTypes.Pdg.t -> unit
val pretty_node : bool -> Format.formatter -> PdgTypes.Node.t -> unit
val print_dot : PdgTypes.Pdg.t -> string -> unit
module Tbl: Kernel_function.Make_Table(PdgTypes.Pdg)(sig
val name : string
val dependencies : 'a list
val size : int
end)
val translate_marks_to_prop : PdgTypes.Pdg.t ->
'a PdgMarks.info_inter ->
?in_m2m:'a PdgMarks.call_m2m ->
?out_m2m:'a PdgMarks.call_m2m ->
'a PdgMarks.pdg_select -> 'a PdgMarks.pdg_select
val call_out_marks_to_called : PdgTypes.Pdg.t ->
'a PdgMarks.m2m ->
?rqs:'a PdgMarks.select ->
(PdgIndex.Signature.out_key * 'a) list -> 'a PdgMarks.select
val in_marks_to_caller : PdgTypes.Pdg.t ->
Cil_types.stmt ->
'a PdgMarks.m2m ->
?rqs:'a PdgMarks.select ->
'a PdgMarks.info_caller_inputs -> 'a PdgMarks.select
val translate_in_marks : PdgTypes.Pdg.t ->
'a PdgMarks.info_caller_inputs ->
?m2m:'a PdgMarks.call_m2m -> 'a PdgMarks.pdg_select -> 'a PdgMarks.pdg_select
module F_Proj: Marks.F_Proj
val deps : State.t list
val compute : unit -> unit
val output : unit -> unit
val something_to_do : unit -> bool
val main : unit -> unit