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:
To create ZDD variable groups, the application calls Cudd_MakeZddTreeNode .