The methods to structure the BDDs of outputs are discussed, and two different kinds of algorithms dealing with the boolean operations between BDDs are discussed.
讨论了构造输出函数的二叉判定图BDD的不同方法，并分析了BDD间布尔操作的不同的算法的异同；
The methods to structure the BDDs of outputs are discussed, and two different kinds of algorithms dealing with the boolean operations between BDDs are discussed.
讨论了构造输出函数的二叉判定图BDD的不同方法，并分析了BDD间布尔操作的不同的算法的异同；
应用推荐