标签： cudd
我有两组变量A，B。我想启用重新排序，但确保变量A始终在 B的变量之前出现。 我还想允许在A内和B内重新排序。
（我知道如何使用Cudd_MakeTreeNode创建两个A组和B组;我的问题是确保B最后一个）