zdd_subset0

zdd_subset0

zdd_subset0(zdd, value)

Arguments

zdd	a zdd list object
value	a value

Value

the subset of zdd such as value = TRUE

Examples

zdd_subset0(zdd(2L), 2L)# ONE
#> Memory of ZDD Store:     0.028 MB, item count: 24 ( 1.17 KB/item)
#> Memory of ZDD Functions: 0.019 MB, item count: 97 ( 0.2 KB/item)
#> 00000000000000000000000000000000 : 0 cutsets, min order: max order: 
#> ZERO
zdd_subset0(zdd(2L), 1L)# {2}
#> Memory of ZDD Store:     0.028 MB, item count: 24 ( 1.17 KB/item)
#> Memory of ZDD Functions: 0.019 MB, item count: 97 ( 0.2 KB/item)
#> d3e33aacb3510825795171e25444efb7 : 1 cutsets, min order: 1 max order: 1 
#> 1-order 
#>       1 
#> {2}
zdd_subset0(zdd(1L), 2L)# ZERO
#> Memory of ZDD Store:     0.028 MB, item count: 24 ( 1.17 KB/item)
#> Memory of ZDD Functions: 0.019 MB, item count: 97 ( 0.2 KB/item)
#> f2816dcf6260cfc789e3e107d89895df : 1 cutsets, min order: 1 max order: 1 
#> 1-order 
#>       1 
#> {1}
zdd_subset0(zdd_and(3,4,5), 2L)   # {3,4,5}
#> Memory of ZDD Store:     0.029 MB, item count: 25 ( 1.16 KB/item)
#> Memory of ZDD Functions: 0.02 MB, item count: 101 ( 0.2 KB/item)
#> 4b6a321e1412fefe4e7692e41781f1a3 : 1 cutsets, min order: 3 max order: 3 
#> 3-order 
#>       1 
#> {3,4,5}
zdd_subset0(zdd_and(3,4,5), 5L)   # {}
#> Memory of ZDD Store:     0.029 MB, item count: 25 ( 1.16 KB/item)
#> Memory of ZDD Functions: 0.02 MB, item count: 101 ( 0.2 KB/item)
#> 00000000000000000000000000000000 : 0 cutsets, min order: max order: 
#> ZERO