cudd

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


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?


Solution

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