new_zdd.Rd
new_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