return reordering setting in cudd pick_iter

tulip-control / dd

Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

https://pypi.org/project/dd

Other

181 stars 39 forks source link

return reordering setting in cudd pick_iter #42

Closed slivingston closed 5 years ago

slivingston commented 5 years ago

At the end of pick_iter() in the CUDD wrapper, the original value of the reordering option should be restored. Before this changeset, it is always assigned True.

closes #40

slivingston commented 5 years ago

(ping)