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

NAME

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

SYNOPSIS

10       #include "bdd101.h"
11       chain_list ∗convertbddcircuitabl( BddCircuit, BddNode )
12         bddcircuit ∗BddCircuit;
13         bddnode    ∗BddNode;
14

PARAMETERS

16       BddCircuit          The bdd circuit.
17
18       BddNode             The bdd node to convert.
19

DESCRIPTION

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

RETURN VALUE

26       convertbddcircuitabl  returns  a  pointer  to the abl expression trans‐
27       lated.
28

EXAMPLE

30       #include "bdd101.h"
31          bddsystem  ∗BddSystem;
32          bddcircuit ∗BddCircuit;
33          bddnode    ∗BddNode;
34          chain_list ∗Expr;
35          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
36          BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
37          Expr = createablbinexpr( ABL_AND,
38                                   createablatom( "i0" ),
39                                   createablatom( "i1" ) );
40          BddNode = addbddcircuitabl( BddCircuit, Expr );
41          freeablexpr( Expr );
42          Expr = convertbddcircuitabl( BddCircuit, BddNode );
43          /* displays (i0 and i1) */
44          viewablexpr( Expr, ABL_VIEW_VHDL );
45          freeablexpr( Expr );
46          destroybddsystem( (bddsystem ∗)0 );
47          destroybddcircuit( (bddcircuit ∗)0 );
48

SEE ALSO

50       bdd(1), abl(1), addbddcircuitabl(3).
51
52
53
54
55
56
57ASIM/LIP6                       October 1, 1997        CONVERTBDDCIRCUITABL(3)