2

我知道 CUDD 支持 ADD（代数决策图），但我似乎无法弄清楚如何将 ADD 用于多个输出布尔函数。此类函数的 ADD 需要有多个叶子，每个叶子代表一个布尔输出向量（可能编码为整数）。例如，0101 为 5，1000 为 8 等等。有谁知道这样的 DD 是否可以在 CUDD 中构建？

4

0 回答 0