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

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

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

  SideEffects [none]

  SeeAlso     [Cudd_ReadMaxLive]

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

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




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