Module PrintSlice.PrintProject


module PrintProject: sig .. end

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 .. end
module E: sig .. end

type tfi =
| Undef
| PersistSelect
| Other
val fi_type : PrintSlice.T.t_fct_info -> tfi
val node_slice_callers : unit -> t_node
val node_slice_calls : unit -> t_node
val iter_vertex : (t_node -> unit) ->
'a * PrintSlice.T.t_project -> unit
val iter_edges_slices : ((t_node * t_node) *
PrintSlice.T.t_call_id option -> unit) ->
PrintSlice.T.t_project -> unit
val iter_edges_actions : ((t_node * t_node) *
'a option -> 'b) ->
PrintSlice.T.t_project -> unit
val iter_edges_src_fun : ((t_node * t_node) *
'a option -> unit) ->
PrintSlice.M.T.t_project -> unit
val iter_edges_e : ((t_node * 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 : t_node -> string
val vertex_attributes : 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 : (t_node * t_node) *
Cil_types.stmt option -> [> `Label of string | `Style of [> `Invis ] ] list
val get_subgraph : t_node ->
Graph.Graphviz.DotAttributes.subgraph option