CUDD：如何计算决策图的节点数和边数？

【问题标题】：CUDD: how to count the number of nodes and edges of a decision diagram?CUDD：如何计算决策图的节点数和边数？
【发布时间】：2015-01-23 01:29:44
【问题描述】：

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

DdNode * root

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

【问题讨论】：

标签： cudd

【解决方案1】：

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

【讨论】：

【解决方案2】：

在cuddUtil.c上读取函数：

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

你可以得到节点的数量：

Cudd_DagSize(root);

叶子数：

Cudd_CountLeaves(root);

最小术语数：

Cudd_CountMinterm(dd, root, n);

还有更多...

【讨论】：