abc/src/bool/kit/cloud.c
/**Function********************************************************************

  Synopsis    [Stops the cloud manager.]

  Description [The first arguments tells show many elementary variables are used.
  The second arguments tells how many bits of the unsigned integer are used
  to represent regular nodes in the unique table.]
               
  SideEffects []

  SeeAlso     []

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

Description [The first arguments tells show many elementary variables are used.
The second arguments tells how many bits of the unsigned integer are used
to represent regular nodes in the unique table.]




Function Synopsis [ Stops the cloud manager . ] Description [ The first arguments tells show many elementary variables are used . The second arguments tells how many bits of the unsigned integer are used to represent regular nodes in the unique table . ]
void Cloud_Quit( CloudManager * dd )
{
    int i;
    ABC_FREE( dd->ppNodes );
    ABC_FREE( dd->tUnique ); 
    ABC_FREE( dd->vars ); 
    for ( i = 0; i < 4; i++ )
        ABC_FREE( dd->tCaches[i] );
    ABC_FREE( dd ); 
}
void Cloud_Quit ( CloudManager * dd ) { int i ; ABC_FREE ( dd -> ppNodes ) ; ABC_FREE ( dd -> tUnique ) ; ABC_FREE ( dd -> vars ) ; for ( i = 0 ; i < 4 ; i ++ ) ABC_FREE ( dd -> tCaches [ i ] ) ; ABC_FREE ( dd ) ; }
Function
Synopsis    [Stops the cloud manager.]
Function Synopsis [ Stops the cloud manager . ]