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

CUDD: how to count the number of nodes and edges of a decision diagram?

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

DdNode * root

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

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

在 cuddUtil.c 上读取函数：

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

你可以得到节点数：

Cudd_DagSize(root);

叶子数：

Cudd_CountLeaves(root);

最小项数：

Cudd_CountMinterm(dd, root, n);

还有更多...