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).