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?
You could use Cudd_DagSize() to get the number of nodes.
Cudd_DagSize()