helper function to store the results of binary operations

helper function to store the results of binary operations

zdd_binary_function(P, op, Q)

Arguments

P	first zdd argument
op	binary function
Q	second zdd argument