CUDD:如何计算决策图的节点和边缘的数量

Question

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

DdNode * root

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

Answer 1

您可以使用

Cudd_DagSize()来获取节点数。

Answer 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);

以及更多...