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

NAME

6       addbddvarlast - adds a new variable, after all others.
7

SYNOPSIS

9       #include "bdd101.h"
10       bddnode ∗addbddvarlast( BddSystem )
11         bddsystem ∗BddSystem;
12

PARAMETERS

14       BddSystem           The bdd system.
15

DESCRIPTION

17       addbddvarlast  creates  a  new  variable,  with the number BddLocalSys‐
18       tem->NUMBER_VAR in the bdd system BddSystem.   If  a  null  pointer  is
19       given, the default bdd system is used.
20

RETURN VALUE

22       addbddvarlast returns a pointer to the bdd node of the new variable.
23

ERRORS

25       "no more variables, error !"
26              There is no variable number left.
27

EXAMPLE

29       #include "bdd101.h"
30          bddsystem  ∗BddSystem;
31          bddnode    ∗BddNode;
32          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
33          BddNode = addbddvarlast( (bddsystem ∗)0 );
34          destroybddsystem( (bddsystem ∗)0 );
35

SEE ALSO

37       bdd(1)
38
39
40
41
42
43
44ASIM/LIP6                       October 1, 1997               ADDBDDVARLAST(3)