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

  Synopsis    [Reads the reordCycle parameter of the manager.]

  Description [Reads 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_SetReorderingCycle]

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

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




Function Synopsis [ Reads the reordCycle parameter of the manager . ] Description [ Reads the reordCycle parameter of the manager . This parameter determines how often the alternate threshold on maximum growth is used in reordering . ]
int
Cudd_ReadReorderingCycle(
  DdManager * dd)
{
    return(dd->reordCycle);
}
int Cudd_ReadReorderingCycle ( DdManager * dd ) { return ( dd -> reordCycle ) ; }
Function
Synopsis    [Reads the reordCycle parameter of the manager.]
Function Synopsis [ Reads the reordCycle parameter of the manager . ]