gcnodebdd(3) [debian man page]

GCNODEBDD(3)							   BDD functions						      GCNODEBDD(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

       gcNodeBdd - does a garbage collection

SYNOPSYS

       #include "logmmm.h"
       void gcNodeBdd(pt)
       chain_list *pt;

PARAMETER

       pt		   chained list of BDD to rescue

DESCRIPTION

       gcNodeBdd() removes all the nodes that aren't used in the BDD pointed in the chained list pt.

EXAMPLE

       #include "mutnnn.h"	/* mbk utilities */
       #include "logmmm.h"
       pNode nodeA,nodeB,nodeC;
       pNode res1,res2;
       chain_list *ptCL;

       initializeBdd(SMALL_BDD);
       nodeA = createNodeTermBdd(3);
       nodeB = createNodeTermBdd(3);
       nodeC = createNodeTermBdd(4);

       res1 = applyBinBdd(OR,applyBinBdd(OR,nodeA,nodeB),nodeC);
       res2 = applyBinBdd(AND,applyBinBdd(AND,nodeA,nodeB),nodeC);
       printf("number of nodes in memory = %d",numberAllNodeBdd());

       /* it will display
       7
       */
       ptCL = addchain(NULL,res1);
       gcNodeBdd(ptCL); 	/* only res1 nodes are saved */

       freechain(ptCL);
       printf("number of nodes in memory = %d",numberAllNodeBdd());

       /* it will display
       number of nodes in memory = 5
       */
       destroyBdd(1);

SEE ALSO

       log(1), bdd(1), markBdd(3), supportChain_listBdd(3), markAllBdd(3), numberNodeBdd(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						      GCNODEBDD(3)

DELBDDNODELIST(3)						   BDD FUNCTIONS						 DELBDDNODELIST(3)

NAME

       delbddnodelist - deletes a list of bdd nodes.

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

SYNOPSYS

       #include "bdd101.h"
       void delbddnodelist( BddSystem, HeadList )
	 bddsystem  *BddSystem;
	 chain_list *HeadList;

PARAMETERS

       BddSystem	   The bdd system.

       HeadList 	   The head of the chain_list.

DESCRIPTION

       delbddnodelist deletes all the bdd nodes of the list HeadList in the bdd system BddSystem.  If a null pointer is  given,  the  default  bdd
       system is used.	All the nodes have their external references decremented.

RETURN VALUE

       delbddnodelist returns nothing.

EXAMPLE

       #include "bdd101.h"
	  bddsystem  *BddSystem;
	  bddcircuit *BddCircuit;
	  bddnode    *BddNode;
	  chain_list *BddList;
	  chain_list *Expr;
	  BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
	  BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
	  BddList    = (chain_list *)0;
	  BddList = addbddnodelist( (bddsystem *)0, BddList,
				    addbddcircuitin( (bddcircuit *)0,
						     "i0", 0, BDD_IN_MODE_FIRST ) );
	  BddList = addbddnodelist( (bddsystem *)0, BddList,
				     addbddcircuitin( (bddcircuit *)0,
						      "i1", 0, BDD_IN_MODE_FIRST );
	  BddList = addbddnodelist( (bddsystem *)0, BddList,
				    addbddcircuitin( (bddcircuit *)0,
						     "i2", 0, BDD_IN_MODE_FIRST );
	  BddNode = applybddnodelist( (bddsystem *)0, ABL_AND, BddList );
	  delbddnodelist( (bddsystem *)0, BddList );
	  Expr = convertbddcircuitabl( (bddcircuit *)0, BddNode );
	  /* displays (i0 and i1 and i2) */
	  viewablexpr( Expr, ABL_VIEW_VHDL );
	  freeablexpr( Expr );
	  destroybddsystem( (bddsystem *)0 );
	  destroybddcircuit( (bddcircuit *)0 );

SEE ALSO

       bdd(1)

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						 DELBDDNODELIST(3)