卡德

CUDD包提供了操作二进制决策图(bdd)[5,3]、代数决策图(ADDs)[1]和零抑制二进制决策图(ZDDs)[12]的函数。bdd用于表示切换函数;加法用于表示从到任意集的函数。ZDDs表示与bdd类似的交换函数;但是,当要表示的函数是立方体集的特征函数时,或者通常情况下,当要表示的函数的ON集非常稀疏时,它们比bdd更有效。在其他情况下,它们不如bdd。这个包提供了大量关于bdd、ADDs和ZDDs的操作集、将bdd转换为ADDs或ZDDs的函数,以及大量可变的重新排序方法。