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

NAME

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

SYNOPSIS

10       #include "bdd101.h"
11       chain_list ∗convertbddcircuitsumabl( 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       convertbddcircuitsumabl  converts  the  bdd  node  to a non optimal abl
22       expression. The BddCircuit is used to translate the variable nodes into
23       atomic  expressions.   If a null pointer is given, the default bdd cir‐
24       cuit is used.
25

RETURN VALUE

27       convertbddcircuitsumabl returns a pointer to the abl expression  trans‐
28       lated.
29

EXAMPLE

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

SEE ALSO

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