module Request: sig
.. end
Functions with journalized side effects
val apply_all : propagate_to_callers:bool -> unit
val apply_all : propagate_to_callers:bool -> unit
val apply_all : propagate_to_callers:bool -> unit
val apply_all_internal : unit -> unit
val apply_next_internal : unit -> unit
val propagate_user_marks : unit -> unit
val copy_slice : SlicingTypes.Sl_fct_slice.t -> SlicingTypes.Sl_fct_slice.t
val split_slice : SlicingTypes.Sl_fct_slice.t -> SlicingTypes.Sl_fct_slice.t list
val merge_slices : SlicingTypes.Sl_fct_slice.t ->
SlicingTypes.Sl_fct_slice.t -> replace:bool -> SlicingTypes.Sl_fct_slice.t
val merge_slices : SlicingTypes.Sl_fct_slice.t ->
SlicingTypes.Sl_fct_slice.t -> replace:bool -> SlicingTypes.Sl_fct_slice.t
val merge_slices : SlicingTypes.Sl_fct_slice.t ->
SlicingTypes.Sl_fct_slice.t -> replace:bool -> SlicingTypes.Sl_fct_slice.t
val add_call_slice : caller:SlicingTypes.Sl_fct_slice.t ->
to_call:SlicingTypes.Sl_fct_slice.t -> unit
val add_call_slice : caller:SlicingTypes.Sl_fct_slice.t ->
to_call:SlicingTypes.Sl_fct_slice.t -> unit
val add_call_slice : caller:SlicingTypes.Sl_fct_slice.t ->
to_call:SlicingTypes.Sl_fct_slice.t -> unit
val add_call_fun : caller:SlicingTypes.Sl_fct_slice.t -> to_call:Kernel_function.t -> unit
val add_call_fun : caller:SlicingTypes.Sl_fct_slice.t -> to_call:Kernel_function.t -> unit
val add_call_fun : caller:SlicingTypes.Sl_fct_slice.t -> to_call:Kernel_function.t -> unit
val add_call_min_fun : caller:SlicingTypes.Sl_fct_slice.t -> to_call:Kernel_function.t -> unit
val add_call_min_fun : caller:SlicingTypes.Sl_fct_slice.t -> to_call:Kernel_function.t -> unit
val add_call_min_fun : caller:SlicingTypes.Sl_fct_slice.t -> to_call:Kernel_function.t -> unit
val add_selection : Api.Select.S.t -> unit
val add_persistent_selection : Api.Select.S.t -> unit
val add_persistent_cmdline : unit -> unit
No needs of Journalization
val is_request_empty_internal : unit -> bool
val add_slice_selection_internal : SlicingInternals.fct_slice ->
Cil_datatype.Varinfo.t * SlicingInternals.fct_user_crit -> unit
val add_selection_internal : Cil_datatype.Varinfo.t * SlicingInternals.fct_user_crit -> unit
Debug
val pretty : Stdlib.Format.formatter -> unit