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

  Synopsis    [Reads the maxGrowthAlt parameter of the manager.]

  Description [Reads the maxGrowthAlt parameter of the manager.  This
  parameter is analogous to the maxGrowth paramter, and is used every
  given number of reorderings instead of maxGrowth.  The number of
  reorderings is set with Cudd_SetReorderingCycle.  If the number of
  reorderings is 0 (default) maxGrowthAlt is never used.]

  SideEffects [None]

  SeeAlso     [Cudd_ReadMaxGrowth Cudd_SetMaxGrowthAlternate
  Cudd_SetReorderingCycle Cudd_ReadReorderingCycle]

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

Description [Reads the maxGrowthAlt parameter of the manager.  This
parameter is analogous to the maxGrowth paramter, and is used every
given number of reorderings instead of maxGrowth.  The number of
reorderings is set with Cudd_SetReorderingCycle.  If the number of
reorderings is 0 (default) maxGrowthAlt is never used.]




Function Synopsis [ Reads the maxGrowthAlt parameter of the manager . ] Description [ Reads the maxGrowthAlt parameter of the manager . This parameter is analogous to the maxGrowth paramter and is used every given number of reorderings instead of maxGrowth . The number of reorderings is set with Cudd_SetReorderingCycle . If the number of reorderings is 0 ( default ) maxGrowthAlt is never used . ]
double
Cudd_ReadMaxGrowthAlternate(
  DdManager * dd)
{
    return(dd->maxGrowthAlt);
}
double Cudd_ReadMaxGrowthAlternate ( DdManager * dd ) { return ( dd -> maxGrowthAlt ) ; }
Function
Synopsis    [Reads the maxGrowthAlt parameter of the manager.]
Function Synopsis [ Reads the maxGrowthAlt parameter of the manager . ]