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

  Synopsis    [Sets the maxGrowthAlt parameter of the manager.]

  Description [Sets 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_ReadMaxGrowthAlternate Cudd_SetMaxGrowth
  Cudd_SetReorderingCycle Cudd_ReadReorderingCycle]

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

Description [Sets 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 [ Sets the maxGrowthAlt parameter of the manager . ] Description [ Sets 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 . ]
void
Cudd_SetMaxGrowthAlternate(
  DdManager * dd,
  double mg)
{
    dd->maxGrowthAlt = mg;
}
void Cudd_SetMaxGrowthAlternate ( DdManager * dd , double mg ) { dd -> maxGrowthAlt = mg ; }
Function
Synopsis    [Sets the maxGrowthAlt parameter of the manager.]
Function Synopsis [ Sets the maxGrowthAlt parameter of the manager . ]