1CONVERTBDDNODESUMABL(3)          BDD FUNCTIONS         CONVERTBDDNODESUMABL(3)
2
3
4

NAME

6       convertbddnodesumabl - converts a bdd node to an abl expression.
7
8

SYNOPSIS

10       #include "bdd101.h"
11       chain_list *convertbddnodesumabl( BddSystem, NameArray, IndexArray, BddNode )
12         bddsystem ∗BddSystem;
13         char     ∗∗NameArray;
14         bddindex  ∗IndexArray;
15         bddnode   ∗BddNode;
16

PARAMETERS

18       BddSystem           The bdd system.
19
20       NameArray           The array of names.
21
22       IndexArray          The array of indexes.
23
24       BddNode             The bdd node to convert.
25

DESCRIPTION

27       convertbddnodesumabl converts the bdd node to a non optimal abl expres‐
28       sion in the bdd system BddSystem.  If a  null  pointer  is  given,  the
29       default  bdd  system is used.  The NameArray, and IndexArray parameters
30       are used to translate the variable nodes into atomic expressions.   The
31       array NameArray is list of names.  The array IndexArray does the corre‐
32       spondence between a bdd node index and a slot in the NameArray. If  the
33       IndexArray  parameter is a null pointer, then the name of the bdd index
34       BDD_INDEX_MIN is assumed to be the first slot of the NameArray, and  so
35       on.
36

RETURN VALUE

38       convertbddnodesumabl  returns  a  pointer  to the abl expression trans‐
39       lated.
40

EXAMPLE

42       #include "bdd101.h"
43          bddsystem  ∗BddSystem;
44          bddnode    ∗BddNode;
45          chain_list ∗Expr;
46          char       ∗NameArray[ 1 ];
47          BddSystem = createbddsystem( 100, 1000, 100, 50000 );
48          BddNode   = addbddvarlast( BddSystem );
49          NameArray[ 0 ] = namealloc( "i0" );
50          Expr = convertbddnodesumabl( BddSystem, NameArray, (bddindex ∗)0,  BddNode );
51          /* displays i0 */
52          viewablexpr( Expr, ABL_VIEW_VHDL );
53          freeablexpr( Expr );
54          destroybddsystem( (bddsystem ∗)0 );
55

SEE ALSO

57       bdd(1), abl(1).
58
59
60
61
62
63
64ASIM/LIP6                       October 1, 1997        CONVERTBDDNODESUMABL(3)
Impressum