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

  Synopsis    [Reads the minDead parameter of the manager.]

  Description [Reads the minDead parameter of the manager. The minDead
  parameter is used by the package to decide whether to collect garbage
  or resize a subtable of the unique table when the subtable becomes
  too full. The application can indirectly control the value of minDead
  by setting the looseUpTo parameter.]

  SideEffects [None]

  SeeAlso     [Cudd_ReadDead Cudd_ReadLooseUpTo Cudd_SetLooseUpTo]

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

Description [Reads the minDead parameter of the manager. The minDead
parameter is used by the package to decide whether to collect garbage
or resize a subtable of the unique table when the subtable becomes
too full. The application can indirectly control the value of minDead
by setting the looseUpTo parameter.]




Function Synopsis [ Reads the minDead parameter of the manager . ] Description [ Reads the minDead parameter of the manager . The minDead parameter is used by the package to decide whether to collect garbage or resize a subtable of the unique table when the subtable becomes too full . The application can indirectly control the value of minDead by setting the looseUpTo parameter . ]
unsigned int
Cudd_ReadMinDead(
  DdManager * dd)
{
    return(dd->minDead);
}
unsigned int Cudd_ReadMinDead ( DdManager * dd ) { return ( dd -> minDead ) ; }
Function
Synopsis    [Reads the minDead parameter of the manager.]
Function Synopsis [ Reads the minDead parameter of the manager . ]