NUMBERNODEALLBDD(3) BDD functions NUMBERNODEALLBDD(3) NAME numberNodeAllBdd - count the number of nodes used in the BDD system SYNOPSIS #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), con- straintBdd(3), composeBdd(3), displayBdd(3), createNodeTermBdd(3). ASIM/LIP6 October 1, 1997 NUMBERNODEALLBDD(3)
NAME | SYNOPSIS | DESCRIPTION | EXAMPLE | SEE ALSO
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=numberNodeAllBdd&sektion=3&manpath=FreeBSD+Ports+15.1.quarterly>