print zdd

print zdd

# S3 method for zdd
print(x, ...)

Arguments

x	a zdd
...	all the other stuff

Value

printed zdd

Examples

print(as_zdd(FALSE))
#> Memory of ZDD Store:     0.008 MB, item count: 7 ( 1.14 KB/item)
#> Memory of ZDD Functions: 0.002 MB, item count: 7 ( 0.29 KB/item)
#> 00000000000000000000000000000000 : 0 cutsets, min order: max order: 
#> ZERO
print(zdd(3L))
#> Memory of ZDD Store:     0.008 MB, item count: 7 ( 1.14 KB/item)
#> Memory of ZDD Functions: 0.002 MB, item count: 7 ( 0.29 KB/item)
#> d7281766b28bdc9025520edeeffecdd9 : 1 cutsets, min order: 1 max order: 1 
#> 1-order 
#>       1 
#> {3}