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

  Synopsis    [Enables garbage collection.]

  Description [Enables garbage collection. Garbage collection is
  initially enabled. Therefore it is necessary to call this function
  only if garbage collection has been explicitly disabled.]

  SideEffects [None]

  SeeAlso     [Cudd_DisableGarbageCollection Cudd_GarbageCollectionEnabled]

******************************************************************************/
Function
Synopsis    [Enables garbage collection.]

Description [Enables garbage collection. Garbage collection is
initially enabled. Therefore it is necessary to call this function
only if garbage collection has been explicitly disabled.]




Function Synopsis [ Enables garbage collection . ] Description [ Enables garbage collection . Garbage collection is initially enabled . Therefore it is necessary to call this function only if garbage collection has been explicitly disabled . ]
void
Cudd_EnableGarbageCollection(
  DdManager * dd)
{
    dd->gcEnabled = 1;
}
void Cudd_EnableGarbageCollection ( DdManager * dd ) { dd -> gcEnabled = 1 ; }
Function
Synopsis    [Enables garbage collection.]
Function Synopsis [ Enables garbage collection . ]