0

我有一个指向 CUDD 决策图的根节点的指针，比如说

DdNode * root

如何检索构成此决策树的节点数和边数？

4

2 回答 2

3

您可以Cudd_DagSize()用来获取节点数。

于 2015-02-23T16:00:56.427 回答
0

在 cuddUtil.c 上读取函数：

int Cudd_PrintDebug(DdManager * dd,DdNode * f,int  n,int  pr);

你可以得到节点的数量：

Cudd_DagSize(root);

叶数：

Cudd_CountLeaves(root);

最小项数：

Cudd_CountMinterm(dd, root, n);

和更多 ...

于 2016-10-21T08:51:21.953 回答