zdd1.Rd
zdd1
zdd1()
the constant-1 elementary zdd (the so-called "set containing the empty set")
zddr:::zdd1()#> Memory of ZDD Store: 0.009 MB, item count: 8 ( 1.12 KB/item) #> Memory of ZDD Functions: 0.001 MB, item count: 1 ( 1 KB/item) #> ffffffffffffffffffffffffffffffff : 1 cutsets, min order: 0 max order: 0 #> ONE