zdd_or

zdd_or

zdd_or(...)

Arguments

...	a list of objects that can be coerced to zdds

Value

a zdd that is the union of all inputs

Examples

zdd_or(1,2,3,4)
#> Memory of ZDD Store:     0.026 MB, item count: 22 ( 1.18 KB/item)
#> Memory of ZDD Functions: 0.016 MB, item count: 80 ( 0.2 KB/item)
#> 9be62ca7468916c0f4be2665da790647 : 4 cutsets, min order: 1 max order: 1 
#> 1-order 
#>       4 
#> {1}, {2}, {3}, {4}
zdd_or( zdd_and(1,2), zdd_and(3,4) ) # { {1,2}, {3,4} }
#> Memory of ZDD Store:     0.027 MB, item count: 23 ( 1.17 KB/item)
#> Memory of ZDD Functions: 0.017 MB, item count: 85 ( 0.2 KB/item)
#> fac558ad76b4998a3095a1d2073de6f4 : 2 cutsets, min order: 2 max order: 2 
#> 2-order 
#>       2 
#> {1,2}, {3,4}
zdd_or( zdd_and(1,2,3,4,5), 4)       # { {4} }
#> Memory of ZDD Store:     0.028 MB, item count: 24 ( 1.17 KB/item)
#> Memory of ZDD Functions: 0.019 MB, item count: 97 ( 0.2 KB/item)
#> 2863f659b84a60a3b2077896d5960955 : 1 cutsets, min order: 1 max order: 1 
#> 1-order 
#>       1 
#> {4}