numbernodebdd(3) - Linux man page

Name

numberNodeBdd - computes the number of nodes used in a BDD

Synopsys

#include "logmmm.h"
int numberNodeBdd(pBdd)
pNode pBdd;

Parameter

pBdd

BDD on wich the compute does

Description

numberNodeBdd() computes the number of reduced nodes that are used in pBdd.

Example

#include "mutnnn.h"

/* mbk utilities */

#include "logmmm.h"
pNode nodeA,nodeB,nodeC;
pNode res;
chain_list *pt;

initializeBdd(SMALL_BDD);
nodeA = createnodetermbdd(3);
nodeB = createnodetermbdd(3);
nodeC = createNodeTermBdd(4);
pt = NULL;
pt = addListBdd(pt,nodeA);
pt = addListBdd(pt,nodeB);
pt = addListBdd(pt,nodeC);
res = applyBdd(XOR,pt);
printf("number of nodes = %d",numberNodeBdd(res));

/* it will display
number of nodes = 5
*/
destroyBdd(1);

See Also

log(1), bdd(1), addlistbdd(3), numberNodeBdd(3), notbdd(3), constraintbdd(3), composebdd(3), displaybdd(3), createnodetermbdd(3).

Referenced By