abc/src/bool/lucky/luckyRead.c
// free memory previously allocated for storing truth tables
free memory previously allocated for storing truth tables
free memory previously allocated for storing truth tables
void Abc_TruthStoreFree( Abc_TtStore_t * p )
{
    free( p->pFuncs[0] );
    free( p->pFuncs );
    free( p );
}
void Abc_TruthStoreFree ( Abc_TtStore_t * p ) { free ( p -> pFuncs [ 0 ] ) ; free ( p -> pFuncs ) ; free ( p ) ; }
free memory previously allocated for storing truth tables
free memory previously allocated for storing truth tables