Trait zdd::ZddPrint

pub trait ZddPrint<Label> {
    fn print(&self, pref: String);
    fn write_as_gv(&self, w: &mut impl Write) -> IoRes<()>;
}

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.

Loading content...

Implementors

impl<Label: Display + Ord + Clone + Hash> ZddPrint<Label> for zdd::Zdd<Label>

fn print(&self, pref: String)

fn write_as_gv(&self, wrt: &mut impl Write) -> IoRes<()>

impl<Label: Display + Ord + Hash + Clone> ZddPrint<Label> for zdd::wrapped::Zdd<Label>

fn print(&self, pref: String)

fn write_as_gv(&self, wrt: &mut impl Write) -> Result<()>

Loading content...