Coerce an integer or string hash to a ZDD object
as_zdd.Rd
as_zdd() turns an existing object, such as a numeric/integer value or a
string that corresponds to a previously created ZDD, into a registered ZDD
object of class zdd.
as_zdd(x) # S3 method for zdd as_zdd(x) # S3 method for integer as_zdd(x) # S3 method for list as_zdd(x) # S3 method for numeric as_zdd(x) # S3 method for character as_zdd(x) # S3 method for logical as_zdd(x)
Arguments
| x | the integer value of the node to be added or the string hash of the node to pull from the store |
|---|
Value
the single variable elementary zdd (the so-called "set containing
value")
Examples
as_zdd(3L)#> #> #>#> Memory of ZDD Store: 0.003 MB, item count: 3 ( 1 KB/item) #> Memory of ZDD Functions: 0.001 MB, item count: 1 ( 1 KB/item) #> d7281766b28bdc9025520edeeffecdd9 : 1 cutsets, min order: 1 max order: 1 #> 1-order #> 1 #> {3}as_zdd('d7281766b28bdc9025520edeeffecdd9')#> Memory of ZDD Store: 0.003 MB, item count: 3 ( 1 KB/item) #> Memory of ZDD Functions: 0.001 MB, item count: 1 ( 1 KB/item) #> d7281766b28bdc9025520edeeffecdd9 : 1 cutsets, min order: 1 max order: 1 #> 1-order #> 1 #> {3}#as_zdd('this one does not exist') # this one throws an error