module PrintProject: sig
.. end
type
t = string * SlicingInternals.project
type
node =
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
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
val get_subgraph : node -> Graph.Graphviz.DotAttributes.subgraph option