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

  Synopsis    [Deletes resources associated with a DD manager.]

  Description [Deletes resources associated with a DD manager and
  resets the global statistical counters. (Otherwise, another manaqger
  subsequently created would inherit the stats of this one.)]

  SideEffects [None]

  SeeAlso     [Cudd_Init]

******************************************************************************/
Function
Synopsis    [Deletes resources associated with a DD manager.]

Description [Deletes resources associated with a DD manager and
resets the global statistical counters. (Otherwise, another manaqger
subsequently created would inherit the stats of this one.)]




Function Synopsis [ Deletes resources associated with a DD manager . ] Description [ Deletes resources associated with a DD manager and resets the global statistical counters . ( Otherwise another manaqger subsequently created would inherit the stats of this one . ) ]
void
Cudd_Quit(
  DdManager * unique)
{
    if (unique->stash != NULL) ABC_FREE(unique->stash);
    cuddFreeTable(unique);
}
void Cudd_Quit ( DdManager * unique ) { if ( unique -> stash != NULL ) ABC_FREE ( unique -> stash ) ; cuddFreeTable ( unique ) ; }
Function
Synopsis    [Deletes resources associated with a DD manager.]
Function Synopsis [ Deletes resources associated with a DD manager . ]