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

  Synopsis    [Reads the maximum allowed number of live nodes.]

  Description [Reads the maximum allowed number of live nodes. When this
  number is exceeded, the package returns NULL.]

  SideEffects [none]

  SeeAlso     [Cudd_SetMaxLive]

******************************************************************************/
Function
Synopsis    [Reads the maximum allowed number of live nodes.]

Description [Reads the maximum allowed number of live nodes. When this
number is exceeded, the package returns NULL.]




Function Synopsis [ Reads the maximum allowed number of live nodes . ] Description [ Reads the maximum allowed number of live nodes . When this number is exceeded the package returns NULL . ]
unsigned int
Cudd_ReadMaxLive(
  DdManager *dd)
{
    return(dd->maxLive);
}
unsigned int Cudd_ReadMaxLive ( DdManager * dd ) { return ( dd -> maxLive ) ; }
Function
Synopsis    [Reads the maximum allowed number of live nodes.]
Function Synopsis [ Reads the maximum allowed number of live nodes . ]