0

CUDD 決定ダイアグラムのルート ノードへのポインタがあります。たとえば、

DdNode * root

この決定木を構成するノードとエッジの数を取得するにはどうすればよいですか?

4

2 に答える 2

3

Cudd_DagSize()ノードの数を取得するために使用できます。

于 2015-02-23T16:00:56.427 に答える
0

cuddUtil.c で関数を読み取ります。

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

ノードの数を取得できます：

Cudd_DagSize(root);

葉の数 :

Cudd_CountLeaves(root);

最小項数:

Cudd_CountMinterm(dd, root, n);

もっと ...

于 2016-10-21T08:51:21.953 に答える