+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
+