createnodetermbdd(3) [debian man page]

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

       createNodeTermBdd - creates a terminal node of variable.

SYNOPSYS

       #include "logmmm.h"
       pNode createNodeTermBdd(index)
       short index;

PARAMETER

       index		   associated index

DESCRIPTION

       createNodeTermBdd() creates a terminal node corresponding to index. Because of reduction table, this function always returns the same pNode
       for a given index. 0 and 1 index are reserved to the zero and one nodes.

EXAMPLE

       #include "mutnnn.h"	/* mbk utilities */
       #include "logmmm.h"
       pNode nodeA;

       initializeBdd(SMALL_BDD);
       nodeA = createNodeTermBdd(3);
       displayBdd(nodeA,1);

       /* it will display
       @nodeA	INDEX = 2   LOW = ZERO	 HIGH = ONE
       */
       nodeA = createNodeTermBdd(3); /* nodeA doesn't change */

       destroyBdd(1);

ERROR

       "createNodeTermBdd : error - index < 2"
       index must be strictly higher than 1.

SEE ALSO

       log(1), bdd(1), applyBinBdd(3), applyBdd(3), addListBdd(3), displayBdd(3), notBdd(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					      CREATENODETERMBDD(3)

DECBDDREFINT(3) 						   BDD FUNCTIONS						   DECBDDREFINT(3)

NAME

       decbddrefint - decrements the internal reference of a bdd node.

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"
       bddnode *decbddrefint( BddNode )
	 bddnode *BddNode;

PARAMETERS

       BddNode		   The bdd node.

DESCRIPTION

       decbddrefint decrements the number of internal reference of the bdd node BddNode.

RETURN VALUE

       decbddrefint returns the BddNode pointer.

ERRORS

       "negative reference, index xxx error !"
	      The BddNode must have a postive number of internal reference.

EXAMPLE

       #include "bdd101.h"
	  bddsystem  *BddSystem;
	  bddcircuit *BddCircuit;
	  bddnode    *BddNode;
	  chain_list *Expr;
	  BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
	  BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
	  BddNode = addbddcircuitin( (bddcircuit *)0, "i0", 0, BDD_IN_MODE_FIRST );
	  BddNode = addbddnode( (bddsystem *)0, BddNode->INDEX, BddNode->LOW, BddNode->HIGH );
	  Expr = convertbddcircuitabl( (bddcircuit *)0, BddNode );
	  incbddrefint( BddNode );
	  decbddrefint( BddNode );
	  /* displays Node VAR: 0  INDEX: 2  MARK: 0  REF_EXT: 1  REF_INT: 0 */
	  viewbddnode( (bddsystem *)0, BddNode );
	  /* displays (not i0) */
	  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						   DECBDDREFINT(3)