NAME¶
swapbddvar - swaps two contiguous variables.
ORIGIN¶
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at
LIP6 laboratory of Université Pierre et Marie CURIE, in Paris,
France.
Web :
http://asim.lip6.fr/recherche/alliance/
E-mail :
alliance-users@asim.lip6.fr
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)
BUG REPORT¶
This tool is under development at the
ASIM department of the
LIP6
laboratory.
We need your feedback to improve documentation and tools.