关闭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的功能不会因为关闭互补边而改变。如果您感兴趣的是在BDDs的可视化中不显示互补的边，那么编写一个可视化函数来区分互补和非互补的节点会更有意义，这是可能的(以前已经做过了)，并且可以去掉互补的else边。