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

NAME

6       addbddvarfirst - adds a new variable, before all others.
7

SYNOPSIS

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

PARAMETERS

14       BddSystem           The bdd system.
15

DESCRIPTION

17       addbddvarfirst  creates  a  new variable, with the number 0, in the bdd
18       system BddSystem.  If a null pointer is given, the default  bdd  system
19       is used.
20

RETURN VALUE

22       addbddvarfirst 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 = addbddvarfirst( (bddsystem ∗)0 );
34          destroybddsystem( (bddsystem ∗)0 );
35

SEE ALSO

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