Type Definition zdd::Zdd

type Zdd<Label> = HConsed<ZddTree<Label>>;

A hash consed ZDD.

Trait Implementations

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

fn print(&self, pref: String)

Pretty prints a ZDD with a prefix.

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

Logs a ZDD as graphviz to a Write.

impl<Label: Ord + Clone> ZddTreeOps<Label> for Zdd<Label>

fn is_zero(&self) -> bool

Returns true iff the ZDD is zero.

fn is_one(&self) -> bool

Returns true iff the ZDD is one.

fn has_one(&self) -> bool

Returns true for all ZDDs containing the empty combination.

fn top(&self) -> Result<Label, bool>

Returns the top label if the ZDD is a node, an error of true if the ZDD is one and false if it is zero.

fn to_set(&self) -> BTreeSet<BTreeSet<Label>>

Turns a ZDD in the corresponding set of sets of labels.

fn iter(&self) -> Iterator<Label>

Returns an iterator over a ZDD.