getbddvarnodebyindex(3alc)

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

NAME

6       getbddvarnode - gives the bdd node of a variable.
7

SYNOPSIS

9       #include "bdd101.h"
10       bddnode ∗getbddvarnodebyindex( BddSystem, Index )
11         bddsystem ∗BddSystem;
12         bddindex   Index;
13

PARAMETERS

15       BddSystem           The bdd system.
16
17       Index               The bdd index.
18

DESCRIPTION

20       getbddvarnode  gives  the  bdd  node of the bdd index Index, in the bdd
21       system BddSystem.  If a null pointer is given, the default  bdd  system
22       is used.  The function uses simply the table BddSystem->VAR_NODE.
23

RETURN VALUE

25       getbddvarnode returns a pointer to the variable bdd node.
26

ERRORS

28       "index xxx out of range, error !"
29              The Index parameter must be a valid index.
30

EXAMPLE

32       #include "bdd101.h"
33          bddsystem  ∗BddSystem;
34          bddnode    ∗BddNode;
35          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
36          addbddvar( (bddsystem ∗)0, 0 );
37          BddNode = getbddvarnodebyindex( (bddsystem ∗)0, 2 );
38          ...
39          destroybddsystem( (bddsystem ∗)0 );
40