Module Register

module Register: sig .. end

val pp_stmt : Format.formatter -> Cil_types.stmt -> unit
val print_results : Format.formatter -> Cil_datatype.Stmt.t list -> unit
val compute_from_stmt : Cil_types.stmt -> Cil_types.stmt list
val compute_from_nodes : Cil_types.kernel_function -> PdgTypes.Node.t list -> PdgTypes.NodeSet.t
val compute_multiple_stmts : Locations.Zone.t ->
Cil_types.kernel_function -> Cil_datatype.Stmt.t list -> Compute_impact.nodes
val slice : Cil_types.stmt list -> Project.t
val all_pragmas_kf : ('a * Cil_types.code_annotation) list -> 'a list
val compute_pragmas : unit -> Cil_datatype.Stmt.t list
val compute_pragmas : unit -> Cil_datatype.Stmt.t list
val from_stmt : Cil_datatype.Stmt.t -> Cil_datatype.Stmt.t list
val from_nodes : Kernel_function.t -> PdgTypes.Node.t list -> PdgTypes.NodeSet.t
val main : unit -> unit