sig
type t = string * PrintSlice.T.t_project
type t_node =
Src of PrintSlice.T.t_fct_info
| Slice of PrintSlice.T.t_fct_slice
| OptSlicingLevel of PrintSlice.T.t_level_option
| OptSliceCallers of bool
| Action of (int * PrintSlice.T.t_criterion)
module V : sig type t = PrintSlice.PrintProject.t_node end
module E :
sig
type t =
(PrintSlice.PrintProject.t_node * PrintSlice.PrintProject.t_node) *
PrintSlice.T.t_call_id option
val src : ('a * 'b) * 'c -> 'a
val dst : ('a * 'b) * 'c -> 'b
end
type tfi = Undef | PersistSelect | Other
val fi_type : PrintSlice.T.t_fct_info -> PrintSlice.PrintProject.tfi
val node_slice_callers : unit -> PrintSlice.PrintProject.t_node
val node_slice_calls : unit -> PrintSlice.PrintProject.t_node
val iter_vertex :
(PrintSlice.PrintProject.t_node -> unit) ->
'a * PrintSlice.T.t_project -> unit
val iter_edges_slices :
((PrintSlice.PrintProject.t_node * PrintSlice.PrintProject.t_node) *
PrintSlice.T.t_call_id option -> unit) ->
PrintSlice.T.t_project -> unit
val iter_edges_actions :
((PrintSlice.PrintProject.t_node * PrintSlice.PrintProject.t_node) *
'a option -> 'b) ->
PrintSlice.T.t_project -> unit
val iter_edges_src_fun :
((PrintSlice.PrintProject.t_node * PrintSlice.PrintProject.t_node) *
'a option -> unit) ->
PrintSlice.M.T.t_project -> unit
val iter_edges_e :
((PrintSlice.PrintProject.t_node * PrintSlice.PrintProject.t_node) *
PrintSlice.T.t_call_id option -> unit) ->
'a * PrintSlice.T.t_project -> unit
val color_soft_green : int
val color_medium_green : int
val color_soft_blue : int
val color_soft_orange : int
val color_medium_orange : int
val color_soft_pink : int
val color_green_yellow : int
val color_soft_yellow : int
val color_medium_yellow : int
val color_pale_orange : int
val color_soft_pink : int
val color_soft_pink : int
val color_medium_pink : int
val color_soft_purple : int
val graph_attributes : 'a * 'b -> [> `Label of 'a ] list
val default_vertex_attributes : 'a -> [> `Style of [> `Filled ] ] list
val vertex_name : PrintSlice.PrintProject.t_node -> string
val vertex_attributes :
PrintSlice.PrintProject.t_node ->
[> `Fillcolor of int
| `Fontsize of int
| `Label of string
| `Shape of [> `Box | `Ellipse | `Plaintext ] ]
list
val default_edge_attributes : 'a -> [> `Fontsize of int ] list
val edge_attributes :
(PrintSlice.PrintProject.t_node * PrintSlice.PrintProject.t_node) *
Cil_types.stmt option ->
[> `Label of string | `Style of [> `Invis ] ] list
val get_subgraph :
PrintSlice.PrintProject.t_node ->
Graph.Graphviz.DotAttributes.subgraph option
end