Cudd：提取变量排序

Question

我试图将CUDD的变量排序启发式算法用于其他程序。我创建了一个BDD，尝试了一些变量排序，看看哪个最小化了大小，现在我想提取变量排序。我怎么能这样做？

根据this answer，dd python包为您提供了检查每个变量级别的方法，但是我没有在C / C ++界面中看到相应的函数。那个python绑定如何将它拉下来？是否需要通过cuddInt.h访问CUDD内部？

Answer 1

啊，我应该阅读dd的源代码。答案很简单：使用Cudd_ReadPerm。