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

Question

I have a pointer to the root node of a CUDD decision diagramm, say

DdNode * root

How can I retrieve the number of nodes and edges composing this decision tree?

Answer 1

You could use Cudd_DagSize() to get the number of nodes.

Answer 2

on cuddUtil.c read the function :

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

you can get the number of nodes :

Cudd_DagSize(root);

number of leaves :

Cudd_CountLeaves(root);

number of minterms :

Cudd_CountMinterm(dd, root, n);

and more ...