numberNodeAllBdd

Langue: en

Version: October 1, 1997 (fedora - 06/07/09)

Section: 3 (Bibliothèques de fonctions)

man2html: unable to open or read file man1/alc_origin.1

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).
man2html: unable to open or read file man1/alc_bug_report.1