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

FreeBSD Manual Pages

  
 
  

home | help
ADDBDDNODELIST(3)		 BDD FUNCTIONS		     ADDBDDNODELIST(3)

NAME
       addbddnodelist -	adds a node in a chain_list.

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	incre-
       mented.

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)

ASIM/LIP6			October	1, 1997		     ADDBDDNODELIST(3)

NAME | SYNOPSYS | PARAMETERS | DESCRIPTION | RETURN VALUE | EXAMPLE | SEE ALSO

Want to link to this manual page? Use this URL:
<https://www.freebsd.org/cgi/man.cgi?query=addbddnodelist&sektion=3&manpath=FreeBSD+12.2-RELEASE+and+Ports>

home | help