sig
val apply_all :
(Db.Slicing.Project.t -> propagate_to_callers:bool -> unit)
Pervasives.ref
val add_selection :
(Db.Slicing.Project.t -> Db.Slicing.Select.set -> unit) Pervasives.ref
val add_persistent_selection :
(Db.Slicing.Project.t -> Db.Slicing.Select.set -> unit) Pervasives.ref
val add_persistent_cmdline : (Db.Slicing.Project.t -> unit) Pervasives.ref
val is_already_selected_internal :
(Db.Slicing.Slice.t -> Db.Slicing.Select.t -> bool) Pervasives.ref
val add_slice_selection_internal :
(Db.Slicing.Project.t ->
Db.Slicing.Slice.t -> Db.Slicing.Select.t -> unit)
Pervasives.ref
val add_selection_internal :
(Db.Slicing.Project.t -> Db.Slicing.Select.t -> unit) Pervasives.ref
val add_call_slice :
(Db.Slicing.Project.t ->
caller:Db.Slicing.Slice.t -> to_call:Db.Slicing.Slice.t -> unit)
Pervasives.ref
val add_call_fun :
(Db.Slicing.Project.t ->
caller:Db.Slicing.Slice.t -> to_call:Cil_types.kernel_function -> unit)
Pervasives.ref
val add_call_min_fun :
(Db.Slicing.Project.t ->
caller:Db.Slicing.Slice.t -> to_call:Cil_types.kernel_function -> unit)
Pervasives.ref
val apply_all_internal : (Db.Slicing.Project.t -> unit) Pervasives.ref
val apply_next_internal : (Db.Slicing.Project.t -> unit) Pervasives.ref
val is_request_empty_internal :
(Db.Slicing.Project.t -> bool) Pervasives.ref
val merge_slices :
(Db.Slicing.Project.t ->
Db.Slicing.Slice.t ->
Db.Slicing.Slice.t -> replace:bool -> Db.Slicing.Slice.t)
Pervasives.ref
val copy_slice :
(Db.Slicing.Project.t -> Db.Slicing.Slice.t -> Db.Slicing.Slice.t)
Pervasives.ref
val split_slice :
(Db.Slicing.Project.t -> Db.Slicing.Slice.t -> Db.Slicing.Slice.t list)
Pervasives.ref
val propagate_user_marks : (Db.Slicing.Project.t -> unit) Pervasives.ref
val pretty :
(Format.formatter -> Db.Slicing.Project.t -> unit) Pervasives.ref
end