type Zdd<Label> = HConsed<ZddTree<Label>>;
Pretty prints a ZDD with a prefix.
Logs a ZDD as graphviz to a Write
.
Returns true iff the ZDD is zero.
Returns true iff the ZDD is one.
Returns true for all ZDDs containing the empty combination.
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. Read more
Turns a ZDD in the corresponding set of sets of labels.
Returns an iterator over a ZDD.