0

我正在尝试将 CUDD 的变量排序启发式用于另一个程序。我创建了一个 BDD，尝试了一些变量排序以查看哪个最小化大小，现在我想提取变量排序。我怎样才能做到这一点？

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

4

1 回答 1

1

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

于 2017-11-29T13:19:01.677 回答