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.