Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help
NUMBERNODEALLBDD(3)		 BDD functions		   NUMBERNODEALLBDD(3)

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),	  con-
       straintBdd(3), composeBdd(3), displayBdd(3), createNodeTermBdd(3).

ASIM/LIP6			October	1, 1997		   NUMBERNODEALLBDD(3)

NAME | SYNOPSYS | DESCRIPTION | EXAMPLE | SEE ALSO

Want to link to this manual page? Use this URL:
<https://www.freebsd.org/cgi/man.cgi?query=numberNodeAllBdd&sektion=3&manpath=FreeBSD+12.0-RELEASE+and+Ports>

home | help