abc/src/bdd/dsd/dsdMan.c
/**Function*************************************************************

  Synopsis    [Stops the DSD manager.]

  Description [Stopping the DSD manager automatically derefereces and
  deallocates all the DSD nodes that were created during the life time
  of the DSD manager. As a result, the user does not need to deref or
  deallocate any DSD nodes or trees that are derived and placed in
  the manager while it exists.]
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
Function
Synopsis    [Stops the DSD manager.]

Description [Stopping the DSD manager automatically derefereces and
deallocates all the DSD nodes that were created during the life time
of the DSD manager. As a result, the user does not need to deref or
deallocate any DSD nodes or trees that are derived and placed in
the manager while it exists.]




Function Synopsis [ Stops the DSD manager . ] Description [ Stopping the DSD manager automatically derefereces and deallocates all the DSD nodes that were created during the life time of the DSD manager . As a result the user does not need to deref or deallocate any DSD nodes or trees that are derived and placed in the manager while it exists . ]
void Dsd_ManagerStop( Dsd_Manager_t * dMan )
{
    st__generator * gen;
    Dsd_Node_t * pNode;
    DdNode * bFunc;
    st__foreach_item( dMan->Table, gen, (const char**)&bFunc, (char**)&pNode )
        Dsd_TreeNodeDelete( dMan->dd, Dsd_Regular(pNode) );
    st__free_table(dMan->Table);
    ABC_FREE( dMan->pInputs );
    ABC_FREE( dMan->pRoots );
    ABC_FREE( dMan );
    Dsd_CheckCacheDeallocate();
}
void Dsd_ManagerStop ( Dsd_Manager_t * dMan ) { st__generator * gen ; Dsd_Node_t * pNode ; DdNode * bFunc ; st__foreach_item ( dMan -> Table , gen , ( const char * * ) & bFunc , ( char * * ) & pNode ) Dsd_TreeNodeDelete ( dMan -> dd , Dsd_Regular ( pNode ) ) ; st__free_table ( dMan -> Table ) ; ABC_FREE ( dMan -> pInputs ) ; ABC_FREE ( dMan -> pRoots ) ; ABC_FREE ( dMan ) ; Dsd_CheckCacheDeallocate ( ) ; }
Function
Synopsis    [Stops the DSD manager.]
Function Synopsis [ Stops the DSD manager . ]
// delete the nodes