package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Slicing.SlicingProject`Source

val create_slice : 
  Frama_c_kernel.Kernel_function.t ->
  SlicingInternals.fct_slice

Sourceval remove_ff : SlicingInternals.fct_slice -> unit

Sourceval remove_uncalled_slices : unit -> unit

val merge_slices : 
  SlicingInternals.fct_slice ->
  SlicingInternals.fct_slice ->
  bool ->
  SlicingInternals.fct_slice

Sourceval 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

Sourceval 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

Sourceval print_proj_worklist : Format.formatter -> unit

Sourceval print_project_and_worklist : Format.formatter -> unit

Sourceval pretty_slice : Format.formatter -> SlicingInternals.fct_slice -> unit

Sourceval apply_next_action : unit -> unit

Sourceval is_request_empty : unit -> bool

Sourceval apply_all_actions : unit -> unit