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

NAME

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

SYNOPSIS

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

PARAMETERS

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

DESCRIPTION

20       getbddvarnode  gives  the  bdd node of the variable number Variable, in
21       the bdd system BddSystem.  If a null pointer is given, the default  bdd
22       system is used.
23

RETURN VALUE

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

ERRORS

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

EXAMPLE

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

SEE ALSO

43       bdd(1)
44
45
46
47
48
49
50ASIM/LIP6                       October 1, 1997               GETBDDVARNODE(3)
Impressum