0
은 내가 말하는 CUDD 결정 Diagramm 사용의 루트 노드에 대한 포인터를CUDD : 의사 결정 다이어그램의 노드 수와 에지 수를 계산하는 방법은 무엇입니까?
DdNode * root
가 어떻게이 결정 트리를 구성하는 노드와 에지 개수를 검색 할 수 있습니다?
A
답변
3
Cudd_DagSize()을 사용하면 노드 수를 얻을 수 있습니다. 잎의
Cudd_DagSize(root);
번호 : minterms의
Cudd_CountLeaves(root);
수 : 당신은 노드의 수를 얻을 수 있습니다
int Cudd_PrintDebug(DdManager * dd,DdNode * f,int n,int pr);
: cuddUtil.c에
0
는 기능을 읽을
Cudd_CountMinterm(dd, root, n);
이상 ...