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

  
 
  

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.

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

PARAMETER
     pBdd		 BDD

DESCRIPTION
     supportChain_listBdd() creates a chained list in which  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)

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

home | help