zdd hash

zdd hash

zdd_hash(value, p0, p1)

Arguments

value	the integer value of the node
p0	the negative compliment of the zdd with respect to value, expressed as class zdd
p1	the positive compliment of the zdd with respect to value, expressed as class zdd

Value

hash

Examples

zddr:::zdd_hash(1L, as_zdd(FALSE), as_zdd(TRUE))
#> [1] "fe521312b9815abcdb440aa3870147e1"