bdd_fprintdot

void bdd_fprintdot ( FILE *  ofile, BDD  r   ) Prints a description of a bdd in dot format to a file. Prints a BDD in a format suitable for use with the graph drawing program DOT to a designated file ofile. See also: bdd_printdot, bdd_fnprintdot, bdd_printall, bdd_printtable, bdd_printset

---