X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Flibrary%2FcoercGraph.ml;h=62a89b0a71ea36ed8b5ad3b48912a1c7af8616a9;hb=9393a9f9370014c904244358abe4ec6e11a9d158;hp=cd958a8f62074aa5ba4ac76fb023043b2478587e;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/library/coercGraph.ml b/components/library/coercGraph.ml
index cd958a8f6..62a89b0a7 100644
--- a/components/library/coercGraph.ml
+++ b/components/library/coercGraph.ml
@@ -94,4 +94,21 @@ let target_of t =
     CoercDb.term_of_carr (snd (CoercDb.get_carr uri))
   with Invalid_argument _ -> assert false (* t must be a coercion *)
     
+let generate_dot_file () =
+  let l = CoercDb.to_list () in
+  let preamble = "
+    digraph pippo {
+      node [fontsize=9, width=.4, height=.4];
+      edge [fontsize=10]; 
+      \n" 
+  in
+  let conclusion = " } \n" in
+  let data = List.fold_left 
+    (fun acc (src,tgt,c) -> 
+      acc ^ CoercDb.name_of_carr src ^ " -> " ^ 
+      CoercDb.name_of_carr tgt ^ "[label=\"" ^ UriManager.name_of_uri c ^ 
+      "\"];\n") "" l 
+  in
+  preamble ^ data ^ conclusion
+  
 (* EOF *)