CUDD : 의사 결정 다이어그램의 노드 수와 에지 수를 계산하는 방법은 무엇입니까?

Question

은 내가 말하는 CUDD 결정 Diagramm 사용의 루트 노드에 대한 포인터를

DdNode * root 

가 어떻게이 결정 트리를 구성하는 노드와 에지 개수를 검색 할 수 있습니다?

Answer 1

Cudd_DagSize()을 사용하면 노드 수를 얻을 수 있습니다. 잎의

Cudd_DagSize(root); 

번호 : minterms의

Cudd_CountLeaves(root); 

수 : 당신은 노드의 수를 얻을 수 있습니다

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

: cuddUtil.c에

Answer 2

는 기능을 읽을

Cudd_CountMinterm(dd, root, n); 

이상 ...