Main Page
Modules
Data Structures
Files
Variable reordering
bdd_addvarblock
bdd_autoreorder
bdd_autoreorder_times
bdd_blockfile_hook
bdd_clrvarblocks
bdd_default_reohandler
bdd_disable_reorder
bdd_enable_reorder
bdd_fprintorder
bdd_getreorder_method
bdd_getreorder_times
bdd_intaddvarblock
bdd_level2var
bdd_printorder
bdd_reorder
bdd_reorder_gain
bdd_reorder_hook
bdd_reorder_probe
bdd_reorder_verbose
bdd_setvarorder
bdd_swapvar
bdd_var2level
bdd_varblockall
int bdd_getreorder_method
(
void
)
Fetch the current reorder method.
Returns the current reorder method as defined by
bdd_autoreorder
.
See also:
bdd_reorder
,
bdd_getreorder_times
Generated on Mon Jul 23 13:25:17 2007 for BuDDy by
1.5.1
1.5.1