Module PrintSlice.PrintProject

module PrintProject: sig .. end

type t = string * SlicingInternals.project 
type node = 
| Src of SlicingInternals.fct_info
| Slice of SlicingInternals.fct_slice
| OptSlicingLevel of SlicingInternals.level_option
| OptSliceCallers of bool
| Action of (int * SlicingInternals.criterion)
module V: sig .. end
module E: sig .. end
type tfi = 
| Undef
| PersistSelect
| Other
val fi_type : SlicingInternals.fct_info -> tfi
val node_slice_callers : unit -> node
val node_slice_calls : unit -> node
val iter_vertex : (node -> unit) ->
'a * SlicingInternals.project -> unit
val iter_edges_slices : ((node * node) *
Cil_types.stmt option -> unit) ->
SlicingInternals.project -> unit
val iter_edges_actions : ((node * node) * 'a option ->
'b) ->
SlicingInternals.project -> unit
val iter_edges_src_fun : ((node * node) * 'a option ->
unit) ->
SlicingInternals.project -> unit
val iter_edges_e : ((node * node) *
Cil_types.stmt option -> unit) ->
'a * SlicingInternals.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_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_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 ] list
val vertex_name : node -> string
val vertex_attributes : 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 : (node * node) *
Cil_types.stmt option ->
[> `Label of string | `Style of [> `Invis ] list ] list
val get_subgraph : node -> Graph.Graphviz.DotAttributes.subgraph option