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

NAME

6       getbddnodenum - gets the number of nodes in a bdd.
7

SYNOPSIS

9       #include "bdd101.h"
10       long getbddnodenum( BddSystem, BddNode )
11         bddsystem ∗BddSystem;
12         bddnode   ∗BddNode;
13

PARAMETERS

15       BddSystem           The bdd system.
16
17       BddNode             The bdd node.
18

DESCRIPTION

20       getbddnodenum computes the number of different nodes in BddNode, in the
21       bdd system BddSystem.  If a null pointer is given, the default bdd sys‐
22       tem is used.
23

RETURN VALUE

25       getbddnodenum returns the number of the different nodes reached.
26

EXAMPLE

28       #include "bdd101.h"
29          bddsystem  ∗BddSystem;
30          bddcircuit ∗BddCircuit;
31          bddnode    ∗BddNode;
32          chain_list ∗Expr;
33          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
34          BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
35          Expr = createablbinexpr( ABL_AND,
36                                   createablatom( "i0" ),
37                                   createablatom( "i1" ) );
38          BddNode = addbddcircuitabl( BddCircuit, Expr );
39          freeablexpr( Expr );
40          printf( "Number nodes: %ld0,
41                  getbddnodenum( (bddsystem ∗)0, BddNode ) );
42          destroybddsystem( (bddsystem ∗)0 );
43          destroybddcircuit( (bddcircuit ∗)0 );
44

SEE ALSO

46       bdd(1)
47
48
49
50
51
52
53ASIM/LIP6                       October 1, 1997               GETBDDNODENUM(3)
Impressum