diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-10 21:55:32 +0300 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-10 21:55:32 +0300 |
| commit | 657f2acd71ee2069fd0fb87b4863bb02df59624c (patch) | |
| tree | 8113a708a96b10888b4cf190604b3230136fc29f /src/map/if/ifMan.c | |
| parent | 9daabedff5d8673ddee1c52f3c84b1b84cc0eb56 (diff) | |
| download | abc-657f2acd71ee2069fd0fb87b4863bb02df59624c.tar.gz abc-657f2acd71ee2069fd0fb87b4863bb02df59624c.tar.bz2 abc-657f2acd71ee2069fd0fb87b4863bb02df59624c.zip | |
Changes to the matching procedure.
Diffstat (limited to 'src/map/if/ifMan.c')
| -rw-r--r-- | src/map/if/ifMan.c | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index b0f3537c..f8b77e6d 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -127,6 +127,12 @@ void If_ManRestart( If_Man_t * p ) ***********************************************************************/ void If_ManStop( If_Man_t * p ) { + { +// extern void If_CluHashFindMedian( If_Man_t * p ); +// extern void If_CluHashTableCheck( If_Man_t * p ); +// If_CluHashFindMedian( p ); +// If_CluHashTableCheck( p ); + } if ( p->pPars->fVerbose && p->nCutsUselessAll ) { int i; @@ -160,9 +166,12 @@ void If_ManStop( If_Man_t * p ) if ( p->vSwitching ) Vec_IntFree( p->vSwitching ); // hash table - if ( p->pPars->fVerbose && p->nTableEntries ) - printf( "Hash table: Entries = %7d. Size = %7d.\n", p->nTableEntries, p->nTableSize ); - ABC_FREE( p->pHashTable ); +// if ( p->pPars->fVerbose && p->nTableEntries[0] ) +// printf( "Hash table 2: Entries = %7d. Size = %7d.\n", p->nTableEntries[0], p->nTableSize[0] ); +// if ( p->pPars->fVerbose && p->nTableEntries[1] ) +// printf( "Hash table 3: Entries = %7d. Size = %7d.\n", p->nTableEntries[1], p->nTableSize[1] ); + ABC_FREE( p->pHashTable[0] ); + ABC_FREE( p->pHashTable[1] ); if ( p->pMemEntries ) Mem_FixedStop( p->pMemEntries, 0 ); ABC_FREE( p ); |