BuDDy: bdd_setvarorder

Main Page
Modules
Data Structures
Files

void bdd_setvarorder ( int * neworder )

Set a specific variable order.

This function sets the current variable order to be the one defined by neworder. The parameter neworder is interpreted as a sequence of variable indices and the new variable order is exactly this sequence. The array must contain all the variables defined so far. If for instance the current number of variables is 3 and neworder contains $[1,0,2]$ then the new variable order is $v_1 < v_0 < v_2$ .

See also:: bdd_reorder, bdd_printorder

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

1.5.1