Lines Matching refs:file
13 (* Tue Oct 9 08:53:21 BST 2001 -- created file *)
15 (* Thu Mar 28 09:40:05 GMT 2002 -- added signature file *)
41 (* Print a BDD to <file>.dot and convert it to <file>.ps; return the bdd *)
44 fun dotBdd file label bdd =
48 (bdd.fnprintdot (file^".dot") bdd;
49 Process.system("dot -G"^glab^" -G"^gsize^" -Tps "^file^".dot -o "^file^".ps");
54 (* Print a term_bdd using a supplied label into <file>.dot; *)
56 (* execute the sed script to create edited_<file>.dot; *)
58 (* dot -Glabel="label" -Gsize="7.5,10" -Tps edited_<file>.dot -o <file>.ps *)
65 (* Create a sed script for editing a dot file so that BBD nodes *)
71 fun varmap_to_sed_script file varmap_pairs =
72 let val out = BasicIO.open_out file
86 fun dotLabelledTermBdd file label tb =
95 (bdd.fnprintdot (file^".dot") bdd;
96 varmap_to_sed_script(file^"_sed_edits")pairs;
97 Process.system("sed -f "^file^"_sed_edits "^file^".dot > edited_"^file^".dot");
98 Process.system("dot -G"^glab^" -G"^gsize^" -Tps edited_"^file^".dot -o "^file^".ps");
99 Process.system("rm "^file^".dot");
100 Process.system("rm "^file^"_sed_edits");
101 Process.system("rm edited_"^file^".dot");