swapbddvar(3alc)

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

NAME

6       swapbddvar - swaps two contiguous variables.
7

SYNOPSIS

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

PARAMETERS

15       BddSystem           The bdd system.
16
17       Variable            The variable to swap.
18

DESCRIPTION

20       swapbddvar  swaps the variable number Variable with the variable number
21       Variable + 1, in the bdd system BddSystem.  If a null pointer is given,
22       the  default  bdd  system is used.  This function is useful for the bdd
23       nodes reordering.
24

RETURN VALUE

26       swapbddvar returns nothing.
27

ERRORS

29       "variable xxx out of range, error !"
30              The Variable and Variable + 1, must be valid variables number.
31

EXAMPLE

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