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

NAME

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

SYNOPSIS

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

PARAMETERS

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

DESCRIPTION

20       getbddnodesize  computes  the  total number of 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       getbddnodesize returns the number of 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                  getbddnodesize( (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              GETBDDNODESIZE(3)
Impressum