sig
type t = SlicingTypes.sl_project
val dyn_t : Db.Slicing.Project.t Type.t
val mk_project : (string -> Db.Slicing.Project.t) Pervasives.ref
val from_unique_name : (string -> Db.Slicing.Project.t) Pervasives.ref
val get_all : (unit -> Db.Slicing.Project.t list) Pervasives.ref
val set_project : (Db.Slicing.Project.t option -> unit) Pervasives.ref
val get_project : (unit -> Db.Slicing.Project.t option) Pervasives.ref
val get_name : (Db.Slicing.Project.t -> string) Pervasives.ref
val is_called :
(Db.Slicing.Project.t -> Cil_types.kernel_function -> bool)
Pervasives.ref
val has_persistent_selection :
(Db.Slicing.Project.t -> Cil_types.kernel_function -> bool)
Pervasives.ref
val change_slicing_level :
(Db.Slicing.Project.t -> Cil_types.kernel_function -> int -> unit)
Pervasives.ref
val default_slice_names :
(Cil_types.kernel_function -> bool -> int -> string) Pervasives.ref
val extract :
(string ->
?f_slice_names:(Cil_types.kernel_function -> bool -> int -> string) ->
Db.Slicing.Project.t -> Project.t)
Pervasives.ref
val print_extracted_project :
(?fmt:Format.formatter -> extracted_prj:Project.t -> unit) Pervasives.ref
val print_dot :
(filename:string -> title:string -> Db.Slicing.Project.t -> unit)
Pervasives.ref
val pretty :
(Format.formatter -> Db.Slicing.Project.t -> unit) Pervasives.ref
val is_directly_called_internal :
(Db.Slicing.Project.t -> Cil_types.kernel_function -> bool)
Pervasives.ref
end