new_zdd

new_zdd(value, p0, p1)

Arguments

value

the integer value of the node

p0

the negative compliment of the zdd with respect to value, expressed as a string hash or as class zdd

p1

the positive compliment of the zdd with respect to value, expressed as a string hash or as class zdd

Value

the resulting zdd node, expressed as class zdd