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

FreeBSD Manual Pages

  
 
  

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

NAME
       delbddnodelist -	deletes	a list of bdd nodes.

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 sys-
       tem 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)

ASIM/LIP6			October	1, 1997		     DELBDDNODELIST(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=delbddnodelist&sektion=3&manpath=FreeBSD+12.2-RELEASE+and+Ports>

home | help