1

我有两组变量 A、B。我想启用重新排序，但要确保变量 A 始终出现在B 的变量之前。我还希望允许在 A 内和 B 内重新排序。

（我知道如何使用 Cudd_MakeTreeNode 创建两组 A 和 B；我的问题是关于确保 B 排在最后）

4

0 回答 0