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

NAME

6       addbddnodelist - adds a node in a chain_list.
7

SYNOPSIS

9       #include "bdd101.h"
10       chain_list ∗addbddnodelist( BddSystem, HeadList, BddNode )
11         bddsystem  ∗BddSystem;
12         chain_list ∗HeadList;
13         bddnode    ∗BddNode;
14

PARAMETERS

16       BddSystem           The bdd system.
17
18       HeadList            The head of the chain_list.
19
20       BddNode             The bdd node to add.
21

DESCRIPTION

23       addbddnodelist  adds  the node BddNode in the ordered list HeadList, in
24       the bdd system BddSystem.  If a null pointer is given, the default  bdd
25       system  is used.  The number of external reference of BddNode is incre‐
26       mented.
27

RETURN VALUE

29       addbddnodelist returns the new head of the list.
30

EXAMPLE

32       #include "bdd101.h"
33          bddsystem  ∗BddSystem;
34          bddcircuit ∗BddCircuit;
35          bddnode    ∗BddNode;
36          chain_list ∗BddList;
37          chain_list ∗Expr;
38          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
39          BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
40          BddList    = (chain_list ∗)0;
41          BddList = addbddnodelist( (bddsystem ∗)0, BddList,
42                                    addbddcircuitin( (bddcircuit ∗)0,
43                                                     "i0", 0, BDD_IN_MODE_FIRST ) );
44          BddList = addbddnodelist( (bddsystem ∗)0, BddList,
45                                     addbddcircuitin( (bddcircuit ∗)0,
46                                                      "i1", 0, BDD_IN_MODE_FIRST );
47          BddList = addbddnodelist( (bddsystem ∗)0, BddList,
48                                    addbddcircuitin( (bddcircuit ∗)0,
49                                                     "i2", 0, BDD_IN_MODE_FIRST );
50          BddNode = applybddnodelist( (bddsystem ∗)0, ABL_AND, BddList );
51          delbddnodelist( (bddsystem ∗)0, BddList );
52          Expr = convertbddcircuitabl( (bddcircuit ∗)0, BddNode );
53          /* displays (i0 and i1 and i2) */
54          viewablexpr( Expr, ABL_VIEW_VHDL );
55          freeablexpr( Expr );
56          destroybddsystem( (bddsystem ∗)0 );
57          destroybddcircuit( (bddcircuit ∗)0 );
58

SEE ALSO

60       bdd(1)
61
62
63
64
65
66
67ASIM/LIP6                       October 1, 1997              ADDBDDNODELIST(3)
Impressum