c++ - 用于查找 Then & Else 子节点和节点索引的 CUDD C++ 接口

Question

我正在使用 CUDD C++ 接口。我发现关于 C++ 库的信息非常少，但对于 C 语言来说非常详尽和丰富。

我有几个问题：

1. 如何获取 BDD 节点的两个子节点？C++ 接口的 C 中 Cudd_T(node) 和 Cudd_E(node) 的对应物是什么？
2. C++ 接口中 Cudd_NodeReadIndex(node) 的对应物是什么？

提前谢谢！