在 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 边。