addbddvarbefore(3alc)

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

NAME

6       addbddvarbefore - adds a new variable, before an existing one.
7

SYNOPSIS

9       #include "bdd101.h"
10       bddnode ∗addbddvarbefore( 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       addbddvarbefore  creates  a  new  variable,  with  the  number  BddSys‐
21       tem->INDEX_TO_VAR[ Index ] in the bdd  system  BddSystem.   If  a  null
22       pointer is given, the default bdd system is used.
23

RETURN VALUE

25       addbddvarbefore 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 = addbddvarbefore( (bddsystem ∗)0, BddNode1->INDEX );
41          destroybddsystem( (bddsystem ∗)0 );
42