getbddvarindex(3alc)

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

NAME

6       getbddvarindex - converts a variable number in a bdd index.
7

SYNOPSIS

9       #include "bdd101.h"
10       bddindex getbddvarindex( BddSystem, Variable )
11         bddsystem ∗BddSystem;
12         bddvar     Variable;
13

PARAMETERS

15       BddSystem           The bdd system.
16
17       Variable            The variable number to convert.
18

DESCRIPTION

20       getbddvarindex converts the variable number Variable to a bdd index, 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->VAR_TO_INDEX.
24

RETURN VALUE

26       getbddvarindex returns the bdd index of Variable.
27

ERRORS

29       "variable xxx out of range, error !"
30              The Variable parameter must be less  or  equal  to  the  BddSys‐
31              tem->NUMBER_VAR field.
32

EXAMPLE

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