FreeBSD Manual Pages
SWAPBDDVAR(3) BDD FUNCTIONS SWAPBDDVAR(3) NAME swapbddvar - swaps two contiguous variables. SYNOPSIS #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 useful 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) ASIM/LIP6 October 1, 1997 SWAPBDDVAR(3)
NAME | SYNOPSIS | PARAMETERS | DESCRIPTION | RETURN VALUE | ERRORS | EXAMPLE | SEE ALSO
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=swapbddvar&sektion=3&manpath=FreeBSD+Ports+15.0>