我浏览了CUDD的在线文档(http://web.mit.edu/sage/export/tmp/y/usr/share/doc/polybori/cudd/cuddIntro.html)，二进制决策图(BDD(的库，但找不到关闭BDD补码边自动使用的方法。在我看来，它确实应该存在，你知道它是否存在吗？
CUDD中不存在此功能，因为补边的使用在每个BDD操作函数中都是作为非可选功能实现的。
目前还不清楚它会有什么用途。CUDD的功能不会因关闭互补边而改变。如果你的兴趣是不让补边出现在BDD的可视化中，那么写一个区分补节点和非补节点的可视化函数会更有意义，这是可能的(以前也做过(，并去掉补的else边。
javascript python java c# php android html jquery c++ css ios sql mysql arrays asp.net json python-3.x ruby-on-rails .net sql-server django objective-c excel regex ruby linux ajax iphone xml vba spring asp.net-mvc database wordpress string postgresql wpf windows xcode bash git oracle list vb.net multithreading eclipse algorithm macos powershell visual-studio image forms numpy scala function api selenium