zdd_intersection

zdd_intersection

zdd_intersection(zddP, zddQ)

Arguments

zddP	a zdd list object
zddQ	a zdd list object

Value

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

Examples

zdd(2L) | zdd(3L) & zdd(3L)   # { {2}, {3} }
#> Memory of ZDD Store:     0.025 MB, item count: 21 ( 1.19 KB/item)
#> Memory of ZDD Functions: 0.014 MB, item count: 71 ( 0.2 KB/item)
#> 28d876f0bc13709180138e294f169ad4 : 2 cutsets, min order: 1 max order: 1 
#> 1-order 
#>       2 
#> {2}, {3}
(zdd(2L) | zdd(3L)) & zdd(3L) # {   {3}    }
#> Memory of ZDD Store:     0.025 MB, item count: 21 ( 1.19 KB/item)
#> Memory of ZDD Functions: 0.015 MB, item count: 74 ( 0.2 KB/item)
#> d7281766b28bdc9025520edeeffecdd9 : 1 cutsets, min order: 1 max order: 1 
#> 1-order 
#>       1 
#> {3}