zdd_subset1

zdd_subset1

zdd_subset1(zdd, value)

Arguments

zdd	a zdd list object
value	a value

Value

the subset of zdd such as value = TRUE

Examples

zdd_subset1(zdd(2L), 2L)# ONE
#> 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)
#> ffffffffffffffffffffffffffffffff : 1 cutsets, min order: 0 max order: 0 
#> ONE
zdd_subset1(zdd(2L), 1L)# {2}
#> 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
zdd_subset1(zdd(1L), 2L)# ZERO
#> 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
zdd_subset1(zdd_and(3,4,5), 4L)   # {3,5}
#> Memory of ZDD Store:     0.03 MB, item count: 26 ( 1.15 KB/item)
#> Memory of ZDD Functions: 0.02 MB, item count: 101 ( 0.2 KB/item)
#> d7174f8464d1ecff94c024b71f15075f : 1 cutsets, min order: 2 max order: 2 
#> 2-order 
#>       1 
#> {3,5}