Login or Register to Ask a Question and Join Our Community

Linux and UNIX Man Pages

Linux & Unix Commands - Search Man Pages

addbddnodelist(3) [debian man page]

ADDBDDNODELIST(3)						   BDD FUNCTIONS						 ADDBDDNODELIST(3)

NAME

       addbddnodelist - adds a node in a chain_list.

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"
       chain_list *addbddnodelist( BddSystem, HeadList, BddNode )
	 bddsystem  *BddSystem;
	 chain_list *HeadList;
	 bddnode    *BddNode;

PARAMETERS

       BddSystem	   The bdd system.

       HeadList 	   The head of the chain_list.

       BddNode		   The bdd node to add.

DESCRIPTION

       addbddnodelist adds the node BddNode in the ordered list HeadList, in the bdd system BddSystem.	If a null pointer is  given,  the  default
       bdd system is used.  The number of external reference of BddNode is incremented.

RETURN VALUE

       addbddnodelist returns the new head of the list.

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

Check Out this Related Man Page

APPLYBDDNODENOT(3)						   BDD FUNCTIONS						APPLYBDDNODENOT(3)

NAME

       applybddnodenot - complements a bdd.

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 *applybddnodenot( BddSystem, BddNode )
	 bddsystem *BddSystem;
	 bddnode   *BddNode;

PARAMETERS

       BddSystem	   The bdd system.

       BddNode		   The bdd node to complement.

DESCRIPTION

       applybddnodenot complements BddNode in the bdd system BddSystem.  If a null pointer is given, the default bdd system is used.

RETURN VALUE

       applybddnodenot returns a pointer to the resulting bdd node with its number of external reference incremented.

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 );
	  addbddcircuitin( (bddcircuit *)0, "i0", 0, BDD_IN_MODE_FIRST );
	  addbddcircuitin( (bddcircuit *)0, "i1", 0, BDD_IN_MODE_FIRST );
	  BddNode = applybddnode( (bddsystem *)0,
				  ABL_AND,
				  searchbddcircuitin( (bddcircuit *)0, "i0" ),
				  searchbddcircuitin( (bddcircuit *)0, "i1" ) );
	  BddNode = applybddnodenot( (bddsystem *)0, decbddrefext( BddNode ) );
	  Expr = convertbddcircuitabl( (bddcircuit *)0, BddNode );
	  /* displays (i0 nand i1) */
	  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						APPLYBDDNODENOT(3)
Man Page