module Slice: sig
.. end
Slice
type
t = SlicingTypes.sl_fct_slice
val dyn_t : SlicingTypes.Sl_fct_slice.t Type.t
val create : Kernel_function.t -> SlicingTypes.Sl_fct_slice.t
val remove : SlicingTypes.Sl_fct_slice.t -> unit
val remove_uncalled : unit -> unit
val get_all : Kernel_function.t -> SlicingInternals.fct_slice list
val get_function : SlicingInternals.fct_slice -> Cil_types.kernel_function
val get_callers : SlicingInternals.fct_slice -> SlicingInternals.fct_slice list
val get_called_slice : SlicingInternals.fct_slice ->
Cil_types.stmt -> SlicingInternals.fct_slice option
val get_called_funcs : SlicingInternals.fct_slice ->
Cil_types.stmt -> Kernel_function.Hptset.elt list
val get_mark_from_stmt : SlicingInternals.fct_slice -> Cil_types.stmt -> SlicingInternals.pdg_mark
val get_mark_from_label : SlicingInternals.fct_slice ->
Cil_types.stmt -> Cil_types.label -> SlicingInternals.pdg_mark
val get_mark_from_local_var : SlicingInternals.fct_slice -> Cil_types.varinfo -> SlicingInternals.pdg_mark
val get_mark_from_formal : SlicingInternals.fct_slice ->
Cil_datatype.Varinfo.t -> SlicingInternals.pdg_mark
val get_user_mark_from_inputs : SlicingInternals.fct_slice -> SlicingInternals.pdg_mark
val get_num_id : SlicingInternals.fct_slice -> int
val from_num_id : Kernel_function.t -> int -> SlicingInternals.fct_slice
val pretty : Format.formatter -> SlicingInternals.fct_slice -> unit