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

FreeBSD Manual Pages

  
 
  

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

NAME
       convertbddindexabl - converts a bdd index to an abl expression.

SYNOPSYS
       #include	"bdd101.h"
       chain_list *convertbddnodeabl( BddSystem, NameArray, IndexArray,	BddNode	)
	 bddsystem *BddSystem;
	 char	  **NameArray;
	 bddindex  *IndexArray;
	 bddindex      Index;

PARAMETERS
       BddSystem	   The bdd system.

       NameArray	   The array of	names.

       IndexArray	   The array of	indexes.

       Index		   The bdd index to convert.

DESCRIPTION
       convertbddindexabl converts the bdd index Index to an abl expression in
       the bdd system BddSystem.  If a null pointer is given, the default  bdd
       system  is  used.  The NameArray, and IndexArray	parameters are used to
       translate the  variable	nodes  into  atomic  expressions.   The	 array
       NameArray  is  list of names.  The array	IndexArray does	the correspon-
       dence between a bdd index and a slot in the NameArray. If the  IndexAr-
       ray parameter is	a null pointer,	then the name of the bdd index BDD_IN-
       DEX_MIN is assumed to be	the first slot of the NameArray, and so	on.

RETURN VALUE
       convertbddindexabl returns a pointer to the abl expression translated.

EXAMPLE
       #include	"bdd101.h"
	  bddsystem  *BddSystem;
	  bddnode    *BddNode;
	  chain_list *Expr;
	  char	     *NameArray[ 1 ];
	  BddSystem = createbddsystem( 100, 1000, 100, 50000 );
	  BddNode   = addbddvarlast( BddSystem );
	  NameArray[ 0 ] = namealloc( "i0" );
	  Expr = convertbddindexabl( BddSystem,	NameArray, (bddindex *)0,  BddNode->INDEX );
	  /* displays i0 */
	  viewablexpr( Expr, ABL_VIEW_VHDL );
	  freeablexpr( Expr );
	  destroybddsystem( (bddsystem *)0 );

SEE ALSO
       bdd(1)

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

home | help