Keywords: cuddIntro

Next: Hooks Up: User's Manual Previous: Variable Reordering for ZDDs

## Keeping Consistent Variable Orders for BDDs and ZDDs

Several applications that manipulate both BDDs and ZDDs benefit from keeping a fixed correspondence between the order of the BDD variables and the order of the ZDD variables. If each BDD variable corresponds to a group of ZDD variables, then it is often desirable that the groups of ZDD variables be in the same order as the corresponding BDD variables. CUDD allows the ZDD order to track the BDD order and vice versa. To have the ZDD order track the BDD order, the application calls Cudd_zddRealignEnable . The effect of this call can be reversed by calling Cudd_zddRealignDisable . When ZDD realignment is in effect, automatic reordering of ZDDs should be disabled.