我正在使用 CUDD C++ 接口。我发现关于 C++ 库的信息非常少,但对于 C 语言来说非常详尽和丰富。
我有几个问题:
- 如何获取 BDD 节点的两个子节点?C++ 接口的 C 中 Cudd_T(node) 和 Cudd_E(node) 的对应物是什么?
- C++ 接口中 Cudd_NodeReadIndex(node) 的对应物是什么?
提前谢谢!
我正在使用 CUDD C++ 接口。我发现关于 C++ 库的信息非常少,但对于 C 语言来说非常详尽和丰富。
我有几个问题:
提前谢谢!