SlicingProject (frama-c-slicing.Slicing.SlicingProject)

val create_slice : 
  Frama_c_kernel.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 : 
  Frama_c_kernel.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 : Stdlib.Format.formatter -> unit

val print_project_and_worklist : Stdlib.Format.formatter -> unit

val pretty_slice : 
  Stdlib.Format.formatter ->
  SlicingInternals.fct_slice ->
  unit

val apply_next_action : unit -> unit

val is_request_empty : unit -> bool

val apply_all_actions : unit -> unit