int bdd_swapvar ( int  v1,
int  v2 
)

Swap two bdd variables.

Use bdd_swapvar to swap the position (in the current variable order) of the two BDD variables v1 and v2. There are no constraints on the position of the two variables before the call. This function may not be used together with user defined variable blocks. The swap is done by a series of adjacent variable swaps and requires the whole node table to be rehashed twice for each call to bdd_swapvar. It should therefore not be used were efficiency is a major concern.

Returns:
Zero on success and a negative error code otherwise.
See also:
bdd_reorder, bdd_addvarblock


Generated on Mon Jul 23 13:25:17 2007 for BuDDy by  doxygen 1.5.1