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

и больше...