next up previous index
Next: Keeping Consistent Variable Orders Up: User's Manual Previous: Grouping Variables

Variable Reordering for ZDDs

  

Reordering of ZDDs is done in much the same way as the reordering of BDDs and ADDs. The functions corresponding to Cudd_ReduceHeap and Cudd_ShuffleHeap are Cudd_zddReduceHeap  and Cudd_zddShuffleHeap . To enable dynamic  reordering, the application must call Cudd_AutodynEnableZdd , and to disable dynamic reordering, it must call Cudd_AutodynDisableZdd . In the current implementation, however, the choice of reordering methods for ZDDs is more limited. Specifically, these methods are available:

CUDD_REORDER_NONE ;
CUDD_REORDER_SAME ;
CUDD_REORDER_RANDOM ;
CUDD_REORDER_RANDOM_PIVOT ;
CUDD_REORDER_SIFT ;
CUDD_REORDER_SIFT_CONVERGE ;
CUDD_REORDER_SYMM_SIFT ;
CUDD_REORDER_SYMM_SIFT_CONV .

To create ZDD variable groups, the application calls Cudd_MakeZddTreeNode .



Fabio Somenzi
Tue May 12 18:47:58 MDT 1998