Provided by: alliance_5.1.1-3_amd64 bug

NAME

       swapbddvar - swaps two contiguous variables.

SYNOPSYS

       #include "bdd101.h"
       void swapbddvar( BddSystem, Variable )
         bddsystem ∗BddSystem;
         bddvar     Variable;

PARAMETERS

       BddSystem           The bdd system.

       Variable            The variable to swap.

DESCRIPTION

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

RETURN VALUE

       swapbddvar returns nothing.

ERRORS

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

EXAMPLE

       #include "bdd101.h"
          bddsystem  ∗BddSystem;
          bddnode    ∗BddNode1;
          bddnode    ∗BddNode2;
          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
          BddNode1 = addbddvar( (bddsystem ∗)0, 0 );
          BddNode2 = addbddvar( (bddsystem ∗)0, 0 );
          swapbddvar( (bddsystem ∗)0, 0 );
          destroybddsystem( (bddsystem ∗)0 );

SEE ALSO

       bdd(1)