zdd.Rd
zdd
zdd(value, p0 = FALSE, p1 = TRUE)
value | the integer value of the node |
---|---|
p0 | the negative compliment of the zdd with respect to |
p1 | the positive compliment of the zdd with respect to |
the resulting zdd node, expressed as class zdd
zdd(1L)#> Memory of ZDD Store: 0.009 MB, item count: 8 ( 1.12 KB/item) #> Memory of ZDD Functions: 0.001 MB, item count: 1 ( 1 KB/item) #> f2816dcf6260cfc789e3e107d89895df : 1 cutsets, min order: 1 max order: 1 #> 1-order #> 1 #> {1}