Slicing.SlicingState
State of the slicing.
val get : unit -> SlicingTypes.sl_project
Get the state of the slicing project. Assume it has already been initialized through Db
.Slicing.reset_slice.
apply the given closure if the slicing project has been initialized through Db
.Slicing.reset_slice.
apply the given closure if the slicing project has been initialized through Db
.Slicing.reset_slice, or else return the default value.
val self : Frama_c_kernel.State.t
Internal state of the slicing tool from project viewpoints.