zdd_minimize

zdd_minimize(zdd, Q = NULL)

Arguments

zdd

a zdd object

Q

a NULL object - nothing is done with this input, a refactor should be performed at some point to remove it

Value

a zdd object that contains only minimal solutions