Description Usage Arguments Value Examples
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
.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 |
x |
the integer value of the node to be added or the string hash of the node to pull from the store |
the single variable elementary zdd (the so-called "set containing
value
")
1 2 3 |
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.