Visualization

Printing of .dot files. More...

Functions
void	adiar::bdd_printdot (const bdd &f, std::ostream &out=std::cout, bool include_id=false)
	Output a DOT drawing of a BDD to the given output stream.
void	adiar::bdd_printdot (const bdd &f, const std::string &file_name, bool include_id=false)
	Output a DOT drawing of a BDD to the file with the given name.

Detailed Description

Printing of .dot files.