debian man page for supportchain_listbdd

SUPPORTCHAIN_LISTBDD(3) 					   BDD functions					   SUPPORTCHAIN_LISTBDD(3)

ORIGIN
       This  software  belongs	to  the  ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in
       Paris, France.

       Web : http://asim.lip6.fr/recherche/alliance/
       E-mail : alliance-users@asim.lip6.fr

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

BUG REPORT
       This tool is under development at the ASIM department of the LIP6 laboratory.
       We need your feedback to improve documentation and tools.

ASIM
/LIP6							  October 1, 1997					   SUPPORTCHAIN_LISTBDD(3)