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