numbernodeallbdd(3) - Linux man page

Name

numberNodeAllBdd - count the number of nodes used in the BDD system

Synopsys

#include "logmmm.h"
int numberNodeAllBdd()

Description

numberNodeAllBdd() count the number of the nodes that are used in the BDD system

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(OR,pt);
printf("number of nodes = %d",numberNodeAllBdd());

/* 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