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

  Synopsis    [Disables garbage collection.]

  Description [Disables garbage collection. Garbage collection is
  initially enabled. This function may be called to disable it.
  However, garbage collection will still occur when a new node must be
  created and no memory is left, or when garbage collection is required
  for correctness. (E.g., before reordering.)]

  SideEffects [None]

  SeeAlso     [Cudd_EnableGarbageCollection Cudd_GarbageCollectionEnabled]

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

Description [Disables garbage collection. Garbage collection is
initially enabled. This function may be called to disable it.
However, garbage collection will still occur when a new node must be
created and no memory is left, or when garbage collection is required
for correctness.




Function Synopsis [ Disables garbage collection . ] Description [ Disables garbage collection . Garbage collection is initially enabled . This function may be called to disable it . However garbage collection will still occur when a new node must be created and no memory is left or when garbage collection is required for correctness .
void
Cudd_DisableGarbageCollection(
  DdManager * dd)
{
    dd->gcEnabled = 0;
}
void Cudd_DisableGarbageCollection ( DdManager * dd ) { dd -> gcEnabled = 0 ; }
Function
Synopsis    [Disables garbage collection.]
Function Synopsis [ Disables garbage collection . ]