[−][src]Trait zdd::ZddPrint
Printing and logging to graphviz.
Required methods
fn print(&self, pref: String)
Pretty prints a ZDD with a prefix.
fn write_as_gv(&self, w: &mut impl Write) -> IoRes<()>
Logs a ZDD as graphviz to a Write
.