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

  Synopsis    [Sets the reordCycle parameter of the manager.]

  Description [Sets the reordCycle parameter of the manager.  This
  parameter determines how often the alternate threshold on maximum
  growth is used in reordering.]

  SideEffects [None]

  SeeAlso     [Cudd_ReadMaxGrowthAlternate Cudd_SetMaxGrowthAlternate
  Cudd_ReadReorderingCycle]

******************************************************************************/
Function
Synopsis    [Sets the reordCycle parameter of the manager.]

Description [Sets the reordCycle parameter of the manager.  This
parameter determines how often the alternate threshold on maximum
growth is used in reordering.]




Function Synopsis [ Sets the reordCycle parameter of the manager . ] Description [ Sets the reordCycle parameter of the manager . This parameter determines how often the alternate threshold on maximum growth is used in reordering . ]
void
Cudd_SetReorderingCycle(
  DdManager * dd,
  int cycle)
{
    dd->reordCycle = cycle;
}
void Cudd_SetReorderingCycle ( DdManager * dd , int cycle ) { dd -> reordCycle = cycle ; }
Function
Synopsis    [Sets the reordCycle parameter of the manager.]
Function Synopsis [ Sets the reordCycle parameter of the manager . ]