zdd_difference

zdd_difference

zdd_difference(zddP, zddQ)

Arguments

zddP	a zdd list object
zddQ	a zdd list object

Value

a zdd list object that is the difference between the two zdds

Examples

(zdd(2L) | 3L) - 3L  # {2}
#> Memory of ZDD Store:     0.025 MB, item count: 21 ( 1.19 KB/item)
#> Memory of ZDD Functions: 0.013 MB, item count: 67 ( 0.19 KB/item)
#> d3e33aacb3510825795171e25444efb7 : 1 cutsets, min order: 1 max order: 1 
#> 1-order 
#>       1 
#> {2}
(zdd(2L) | 3L) - 2L  # {3}
#> Memory of ZDD Store:     0.025 MB, item count: 21 ( 1.19 KB/item)
#> Memory of ZDD Functions: 0.014 MB, item count: 69 ( 0.2 KB/item)
#> d7281766b28bdc9025520edeeffecdd9 : 1 cutsets, min order: 1 max order: 1 
#> 1-order 
#>       1 
#> {3}