bdd_fnprintdot

int bdd_fnprintdot ( char *  fname, BDD  r   ) Prints a description of a bdd in dot format to a file specified by filename. Prints a BDD in a format suitable for use with the graph drawing program DOT to the file named by fname. The file will be opened for writing, any previous contents destroyed and then closed again. See also: bdd_printdot, bdd_fprintdot, bdd_printall, bdd_printtable, bdd_printset

---