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

  
 
  

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

NAME
     applybddnodelist - applies an opertor to a bdd nodes list.

SYNOPSIS
     #include "bdd101.h"
     bddnode *applybddnodelist( BddSystem, Oper, BddList )
       bddsystem  *BddSystem;
       long	   Oper;
       chain_list *BddList;

PARAMETERS
     BddSystem		 The bdd system.

     Oper		 The operator.

     BddList		 The bdd nodes list.

DESCRIPTION
     applybddnodelist  applies	the  boolean operator Oper to the bdd nodes list
     BddList in the bdd system BddSystem.  If a null pointer is given,	the  de-
     fault bdd system is used.

RETURN VALUE
     applybddnodelist  returns a pointer to the resulting bdd node with its num-
     ber of external reference incremented.

ERRORS
     "bad operator xxx error !"
	    The Oper parameter must be a valid binary operator.
     "bad list !"
	    The BddList parameter must be a valid 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 );
	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	     APPLYBDDNODELIST(3)

Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=applybddnodelist&sektion=3&manpath=FreeBSD+Ports+15.1.quarterly>

home | help