zdd_and

zdd_and

zdd_and(...)

Arguments

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

Value

a zdd that is the crossmultiplication of all inputs

Examples

zdd_and(1,2,3,4)
#> Memory of ZDD Store:     0.014 MB, item count: 12 ( 1.17 KB/item)
#> Memory of ZDD Functions: 0.003 MB, item count: 13 ( 0.23 KB/item)
#> 7bea552ce4aa420f35312186bfb0f691 : 1 cutsets, min order: 4 max order: 4 
#> 4-order 
#>       1 
#> {1,2,3,4}