zdd_union

zdd_union

zdd_union(zddP, zddQ)

Arguments

zddP	a zdd list object
zddQ	a zdd list object

Value

a zdd list object that is the union of the two input zdds

Examples

zdd_union(zdd(2L), zdd(3L))
#> Memory of ZDD Store:     0.03 MB, item count: 26 ( 1.15 KB/item)
#> Memory of ZDD Functions: 0.02 MB, item count: 101 ( 0.2 KB/item)
#> 28d876f0bc13709180138e294f169ad4 : 2 cutsets, min order: 1 max order: 1 
#> 1-order 
#>       2 
#> {2}, {3}
zdd(2L) | zdd(3L)
#> Memory of ZDD Store:     0.03 MB, item count: 26 ( 1.15 KB/item)
#> Memory of ZDD Functions: 0.02 MB, item count: 101 ( 0.2 KB/item)
#> 28d876f0bc13709180138e294f169ad4 : 2 cutsets, min order: 1 max order: 1 
#> 1-order 
#>       2 
#> {2}, {3}