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

FreeBSD Manual Pages

  
 
  

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

NAME
       supportChain_listBdd - returns a	chained	list of	nodes that are used in
       a given BDD.

SYNOPSYS
       #include	"logmmm.h"
       chain_list *supportChain_listBdd(pBdd)
       pNode pBdd;

PARAMETER
       pBdd		   BDD

DESCRIPTION
       supportChain_listBdd() creates a	chained	list in	wich all the nodes  of
       pBdd are	represented.

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);
       pt = supportChain_listBdd(res);

       while (pt)
	  {
	  printf("--- ");
	  displayBdd((pNode) pt->DATA,0); /* displays the node */
	  pt = pt->NEXT;
	  }
       /* it will display

       --- @nodeA   index = 2  LOW = ZERO    HIGH = ONE
       --- @inter   index = 3  LOW = @nodeA  HIGH = ONE
       --- @res	    index = 4  LOW = @inter  HIGH = ONE
       */

       destroyBdd(1);

SEE ALSO
       log(1),	 bdd(1),   numberNodeBdd(3),  addListBdd(3),  notBdd(3),  con-
       straintBdd(3), composeBdd(3), displayBdd(3), createNodeTermBdd(3).

ASIM/LIP6			October	1, 1997	       SUPPORTCHAIN_LISTBDD(3)

NAME | SYNOPSYS | PARAMETER | DESCRIPTION | EXAMPLE | SEE ALSO

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

home | help