zdd_crossproduct

zdd_crossproduct

zdd_crossproduct(zddP, zddQ)

Arguments

zddP	a zdd list object
zddQ	a zdd list object

Value

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

Examples

zdd_crossproduct(zdd(2L), zdd(3L))
#> Memory of ZDD Store:     0.018 MB, item count: 15 ( 1.2 KB/item)
#> Memory of ZDD Functions: 0.007 MB, item count: 32 ( 0.22 KB/item)
#> 46ecc8ee2b61d0e4e4dce2b375f87d26 : 1 cutsets, min order: 2 max order: 2 
#> 2-order 
#>       1 
#> {2,3}
zdd(2L) * zdd(3L)
#> Memory of ZDD Store:     0.018 MB, item count: 15 ( 1.2 KB/item)
#> Memory of ZDD Functions: 0.007 MB, item count: 33 ( 0.21 KB/item)
#> 46ecc8ee2b61d0e4e4dce2b375f87d26 : 1 cutsets, min order: 2 max order: 2 
#> 2-order 
#>       1 
#> {2,3}
(zdd(1L)|zdd(2L)|zdd(3L)) * (zdd(3L)|zdd(4L)|zdd(5L))
#> Memory of ZDD Store:     0.023 MB, item count: 20 ( 1.15 KB/item)
#> Memory of ZDD Functions: 0.012 MB, item count: 59 ( 0.2 KB/item)
#> 5ded7704433f9588333ef3c0e640e45f : 5 cutsets, min order: 1 max order: 2 
#> 1-order 2-order 
#>       1       4 
#> {3}, {1,4}, {2,4}, {1,5}, {2,5}