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

FreeBSD Manual Pages

  
 
  

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

NAME
       convertbddcircuitabl - converts a bdd node to an	abl expression.

SYNOPSIS
       #include	"bdd101.h"
       chain_list *convertbddcircuitabl( BddCircuit, BddNode )
	 bddcircuit *BddCircuit;
	 bddnode    *BddNode;

PARAMETERS
       BddCircuit	   The bdd circuit.

       BddNode		   The bdd node	to convert.

DESCRIPTION
       convertbddcircuitabl  converts  the  bdd	node to	an abl expression. The
       BddCircuit is used to translate the variable nodes into atomic  expres-
       sions.  If a null pointer is given, the default bdd circuit is used.

RETURN VALUE
       convertbddcircuitabl  returns  a	 pointer  to the abl expression	trans-
       lated.

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 );
	  Expr = createablbinexpr( ABL_AND,
				   createablatom( "i0" ),
				   createablatom( "i1" ) );
	  BddNode = addbddcircuitabl( BddCircuit, Expr );
	  freeablexpr( Expr );
	  Expr = convertbddcircuitabl( BddCircuit, BddNode );
	  /* displays (i0 and i1) */
	  viewablexpr( Expr, ABL_VIEW_VHDL );
	  freeablexpr( Expr );
	  destroybddsystem( (bddsystem *)0 );
	  destroybddcircuit( (bddcircuit *)0 );

SEE ALSO
       bdd(1), abl(1), addbddcircuitabl(3).

ASIM/LIP6			October	1, 1997	       CONVERTBDDCIRCUITABL(3)

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

home | help