new_zdd.Rdnew_zdd
new_zdd(value, p0, p1)
| 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