Release coccinelle-0.1.2

[bpt/coccinelle.git] / commons / ograph_extended.mli

diff --git a/commons/ograph_extended.mli b/commons/ograph_extended.mli
index 5b9908a..c9f3936 100644 (file)
--- a/commons/ograph_extended.mli
+++ b/commons/ograph_extended.mli
@@ -58,6 +58,15 @@ val dfs_iter_with_path :
   nodei -> (nodei -> nodei list -> unit) -> ('node, 'edge) ograph_mutable -> 
   unit
 
+val print_ograph_mutable_generic : 
+  ('node, 'edge) ograph_mutable -> 
+  string option -> (* label for the entire graph *)
+  (* what string to print for a node and how to color it *)
+  ((nodei * 'node) -> (string * string option * string option)) ->
+  output_file:filename -> 
+  launch_gv:bool -> 
+  unit
+
 
 val print_ograph_extended : 
   ('node * string, 'edge) ograph_extended -> 
@@ -70,4 +79,3 @@ val print_ograph_mutable :
   filename (* output file *) -> 
   bool (* launch gv ? *) -> 
   unit
-