bdd_printdot

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

---