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

NAME

6       delbddnodelist - deletes a list of bdd nodes.
7

SYNOPSIS

9       #include "bdd101.h"
10       void delbddnodelist( BddSystem, HeadList )
11         bddsystem  ∗BddSystem;
12         chain_list ∗HeadList;
13

PARAMETERS

15       BddSystem           The bdd system.
16
17       HeadList            The head of the chain_list.
18

DESCRIPTION

20       delbddnodelist  deletes  all  the bdd nodes of the list HeadList in the
21       bdd system BddSystem.  If a null pointer is given, the default bdd sys‐
22       tem is used.  All the nodes have their external references decremented.
23

RETURN VALUE

25       delbddnodelist returns nothing.
26

EXAMPLE

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

SEE ALSO

56       bdd(1)
57
58
59
60
61
62
63ASIM/LIP6                       October 1, 1997              DELBDDNODELIST(3)
Impressum