abc/src/bdd/cudd/cuddAPI.c
/**Function********************************************************************

  Synopsis    [Enables automatic dynamic reordering of ZDDs.]

  Description [Enables automatic dynamic reordering of ZDDs. Parameter
  method is used to determine the method used for reordering ZDDs. If
  CUDD_REORDER_SAME is passed, the method is unchanged.]

  SideEffects [None]

  SeeAlso     [Cudd_AutodynDisableZdd Cudd_ReorderingStatusZdd
  Cudd_AutodynEnable]

******************************************************************************/
Function
Synopsis    [Enables automatic dynamic reordering of ZDDs.]

Description [Enables automatic dynamic reordering of ZDDs. Parameter
method is used to determine the method used for reordering ZDDs. If
CUDD_REORDER_SAME is passed, the method is unchanged.]




Function Synopsis [ Enables automatic dynamic reordering of ZDDs . ] Description [ Enables automatic dynamic reordering of ZDDs . Parameter method is used to determine the method used for reordering ZDDs . If CUDD_REORDER_SAME is passed the method is unchanged . ]
void
Cudd_AutodynEnableZdd(
  DdManager * unique,
  Cudd_ReorderingType method)
{
    unique->autoDynZ = 1;
    if (method != CUDD_REORDER_SAME) {
        unique->autoMethodZ = method;
    }
    return;
}
void Cudd_AutodynEnableZdd ( DdManager * unique , Cudd_ReorderingType method ) { unique -> autoDynZ = 1 ; if ( method != CUDD_REORDER_SAME ) { unique -> autoMethodZ = method ; } return ; }
Function
Synopsis    [Enables automatic dynamic reordering of ZDDs.]
Function Synopsis [ Enables automatic dynamic reordering of ZDDs . ]