sig
val create_slice : Kernel_function.t -> SlicingInternals.fct_slice
val remove_ff : SlicingInternals.fct_slice -> unit
val remove_uncalled_slices : unit -> unit
val merge_slices :
SlicingInternals.fct_slice ->
SlicingInternals.fct_slice -> bool -> SlicingInternals.fct_slice
val split_slice :
SlicingInternals.fct_slice -> SlicingInternals.fct_slice list
val get_slices : Kernel_function.t -> SlicingInternals.fct_slice list
val get_slice_callers :
SlicingInternals.fct_slice -> SlicingInternals.fct_slice list
val add_filter : SlicingInternals.criterion -> unit
val add_fct_src_filter :
SlicingInternals.fct_info -> SlicingInternals.fct_user_crit -> unit
val add_fct_ff_filter :
SlicingInternals.fct_slice -> SlicingInternals.fct_user_crit -> unit
val print_proj_worklist : Format.formatter -> unit
val print_project_and_worklist : Format.formatter -> unit
val pretty_slice : Format.formatter -> SlicingInternals.fct_slice -> unit
val apply_next_action : unit -> unit
val is_request_empty : unit -> bool
val apply_all_actions : unit -> unit
end