Slicing.SlicingProject
val create_slice :
Frama_c_kernel.Kernel_function.t ->
SlicingInternals.fct_slice
val remove_ff : SlicingInternals.fct_slice -> 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 pretty_slice :
Stdlib.Format.formatter ->
SlicingInternals.fct_slice ->
unit