addbddvar(3alc)

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

NAME

6       addbddvar - adds a new variable in the bdd system.
7

SYNOPSIS

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

PARAMETERS

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

DESCRIPTION

20       addbddvar  creates a new variable, with the number Variable, in the bdd
21       system BddSystem.  If a null pointer is given, the default  bdd  system
22       is used.
23

RETURN VALUE

25       addbddvar returns a pointer to the bdd node of the new variable.
26

ERRORS

28       "no more variables, error !"
29              There is no variable number left.
30       "variable xxx out of range, error !"
31              The  Variable  parameter  must  be  less or equal to the BddSys‐
32              tem->NUMBER_VAR field.
33

EXAMPLE

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