as.integer(<zdd>)
zdd as integer
as_zdd()
Coerce an integer or string hash to a ZDD object
cutsets()
cutsets
is_one()
is_one
is_zdd()
is_zdd
is_zero()
is_zero
new_zdd()
new_zdd
print(<zdd>)
print zdd
protect()
protect
reset_zdd_store()
reset_zdd_store
zdd()
zdd
zdd0()
zdd0
zdd1()
zdd1
zdd_and()
zdd_and
zdd_anot()
zdd_anot
zdd_binary_function()
helper function to store the results of binary operations
zdd_crossproduct()
zdd_crossproduct
zdd_difference()
zdd_difference
zdd_fxns
Store for ZDD operations
zdd_hash()
zdd hash
zdd_intersection()
zdd_intersection
zdd_minimize()
zdd_minimize
zdd_or()
zdd_or
zdd_store
Store for Zero-suppressed BDD nodes
zdd_subset0()
zdd_subset0
zdd_subset1()
zdd_subset1
zdd_union()
zdd_union