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

  Synopsis    [Reads the maxGrowth parameter of the manager.]

  Description [Reads the maxGrowth parameter of the manager.  This
  parameter determines how much the number of nodes can grow during
  sifting of a variable.  Overall, sifting never increases the size of
  the decision diagrams.  This parameter only refers to intermediate
  results.  A lower value will speed up sifting, possibly at the
  expense of quality.]

  SideEffects [None]

  SeeAlso     [Cudd_SetMaxGrowth Cudd_ReadMaxGrowthAlternate]

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

Description [Reads the maxGrowth parameter of the manager.  This
parameter determines how much the number of nodes can grow during
sifting of a variable.  Overall, sifting never increases the size of
the decision diagrams.  This parameter only refers to intermediate
results.  A lower value will speed up sifting, possibly at the
expense of quality.]




Function Synopsis [ Reads the maxGrowth parameter of the manager . ] Description [ Reads the maxGrowth parameter of the manager . This parameter determines how much the number of nodes can grow during sifting of a variable . Overall sifting never increases the size of the decision diagrams . This parameter only refers to intermediate results . A lower value will speed up sifting possibly at the expense of quality . ]
double
Cudd_ReadMaxGrowth(
  DdManager * dd)
{
    return(dd->maxGrowth);
}
double Cudd_ReadMaxGrowth ( DdManager * dd ) { return ( dd -> maxGrowth ) ; }
Function
Synopsis    [Reads the maxGrowth parameter of the manager.]
Function Synopsis [ Reads the maxGrowth parameter of the manager . ]