QzZq

摘要： CUDD(Colorado University Decision Diagram)是一种操纵决策图的软件开发包，它提供函数来操纵二元决策图（BDDs）,代数决策图（ADDs）和零压缩二元决策图（ZDDs）。CUDD包定义了决策图的数据结构和一些列操作决策图的算法：决策图的建立，遍历，排序，互相转换 阅读全文