getbddvarbyindex(3alc)

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

NAME

6       getbddvarbyindex - converts bdd index to a variable number.
7

SYNOPSIS

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

PARAMETERS

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

DESCRIPTION

20       getbddvarbyindex converts the bdd index  Index to a variable number, in
21       the bdd system BddSystem.  If a null pointer is given, the default  bdd
22       system is used.  The function uses simply the translation table BddSys‐
23       tem->INDEX_TO_VAR.
24

RETURN VALUE

26       getbddvarbyindex returns the variable number of the bdd index Index.
27

ERRORS

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

EXAMPLE

33       #include "bdd101.h"
34          bddsystem  ∗BddSystem;
35          bddnode    ∗BddNode;
36          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
37          BddNode = addbddvar( (bddsystem ∗)0, 0 );
38          /* displays 0 */
39          printf( "%d", getbddvarbyindex( (bddsystem ∗)0, BddNode->INDEX ) );
40          destroybddsystem( (bddsystem ∗)0 );
41