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 -> unit
val all_pragmas_kf : ('a * Cil_types.code_annotation) list -> 'a list
val compute_pragmas : unit -> Cil_types.stmt list
val main : unit -> unit