开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >Cudd:提取变量排序

问Cudd:提取变量排序
EN

Stack Overflow用户

提问于 2017-11-29 15:10:15

回答 0查看 117关注 0票数 0

我正在尝试在另一个程序中利用CUDD的变量排序启发式。我已经创建了一个BDD，尝试了几个变量排序，看看哪一个最大，现在我想提取变量排序。我该怎么做呢？

根据this answer的说法，dd python包提供了一种检查每个变量级别的方法，但我在C/C++接口中看不到相应的函数。python绑定是如何实现的？是否需要通过cuddInt.h访问CUDD内部

EN

回答

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/47546965

复制

相似问题