Module Register

module Register: sig .. end

val print_results : Format.formatter -> Cil_types.stmt list -> unit
val compute_from_stmt : Cil_types.stmt -> Cil_types.stmt list
val compute_multiple_stmts : Locations.Zone.t ->
Cil_types.kernel_function -> Cil_datatype.Stmt.t list -> PdgTypes.NodeSet.t
val slice : Cil_types.stmt list -> unit
val all_pragmas_kf : 'a -> ('b * Cil_types.code_annotation) list -> 'b list
val compute_pragmas : unit -> Cil_types.stmt list
val main : unit -> unit