zdd0 — zdd0 • zddr

zdd0

zdd0()

Value

the constant-0 elementary zdd (the so-called "empty set")

Examples

zddr:::zdd0()
#> 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)
#> 00000000000000000000000000000000 : 0 cutsets, min order: max order: 
#> ZERO