ZDD Visualization

Printing of .dot files. More...

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

Detailed Description

Printing of .dot files.