addbddvarafter(3alc)

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

NAME

6       addbddvarafter - adds a new variable, after an existing one.
7

SYNOPSIS

9       #include "bdd101.h"
10       bddnode ∗addbddvarafter( BddSystem )
11         bddsystem ∗BddSystem;
12         bddindex      Index;
13

PARAMETERS

15       BddSystem           The bdd system.
16
17       Index               The bdd index of an existing variable.
18

DESCRIPTION

20       addbddvarafter   creates  a  new  variable,  with  the  number  BddSys‐
21       tem->INDEX_TO_VAR[ Index ] + 1 in the bdd system BddSystem.  If a  null
22       pointer is given, the default bdd system is used.
23

RETURN VALUE

25       addbddvarafter 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       "index xxx out of range, error !"
31              The Index parameter must be a valid index.
32

EXAMPLE

34       #include "bdd101.h"
35          bddsystem  ∗BddSystem;
36          bddnode    ∗BddNode1;
37          bddnode    ∗BddNode2;
38          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
39          BddNode1 = addbddvarfirst( (bddsystem ∗)0 );
40          BddNode2 = addbddvarafter( (bddsystem ∗)0, BddNode1->INDEX );
41          destroybddsystem( (bddsystem ∗)0 );
42