我有一个指向CUDD决策图的根节点的指针，比如说
DdNode * root
如何检索组成此决策树的节点和边数？
答案 0 :(得分：3)
您可以使用Cudd_DagSize()来获取节点数。
答案 1 :(得分：0)
在cuddUtil.c上读取函数：
int Cudd_PrintDebug(DdManager * dd,DdNode * f,int n,int pr);
您可以获得节点数：
Cudd_DagSize(root);
叶数：
Cudd_CountLeaves(root);
minterms：
Cudd_CountMinterm(dd, root, n);
以及更多......