function - 关闭 CUDD 中 BDD 的补边

Question

我查看了 CUDD 的在线文档（http://web.mit.edu/sage/export/tmp/y/usr/share/doc/polybori/cudd/cuddIntro.html），这是一个二进制决策图库（ BDD），但找不到关闭自动使用 BDD 补边的方法。在我看来它确实应该存在，你知道它是否存在吗？

Answer 1

此功能在 CUDD 中不存在，因为在每个 BDD 操作函数中，补边的使用都是作为非可选功能实现的。

也不清楚它有什么用处。CUDD 的功能不会因关闭补边而改变。如果您的兴趣是不让互补边出现在 BDD 的可视化中，那么编写一个区分互补节点和非互补节点的可视化函数会更有意义，这是可能的（并且之前已经完成）并摆脱了补充的 else 边缘。