From 2377ae60e99fd751021cbcac880b584d57c284a1 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 19 Feb 2012 14:52:43 -0800 Subject: Isomorphism checking code. --- src/aig/saig/saigIso.c | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) (limited to 'src/aig/saig') diff --git a/src/aig/saig/saigIso.c b/src/aig/saig/saigIso.c index 95d0cdae..c3d1af9d 100644 --- a/src/aig/saig/saigIso.c +++ b/src/aig/saig/saigIso.c @@ -428,6 +428,7 @@ Aig_Man_t * Iso_ManFilterPos( Aig_Man_t * pAig, Vec_Ptr_t ** pvPosEquivs, int fV Vec_Str_t * vStr, * vPrev; int i, nPos, nUnique = 0, clk = clock(); int clkDup = 0, clkAig = 0, clkIso = 0, clk2; + *pvPosEquivs = NULL; // derive AIG for each PO nPos = Aig_ManPoNum(pAig) - Aig_ManRegNum(pAig); @@ -521,13 +522,6 @@ Aig_Man_t * Iso_ManFilterPos( Aig_Man_t * pAig, Vec_Ptr_t ** pvPosEquivs, int fV // return (Vec_Vec_t *)vClasses; // Vec_VecFree( (Vec_Vec_t *)vClasses ); *pvPosEquivs = vClasses; - if ( fVerbose && vClasses ) - { - printf( "Non-trivial equivalence clases of primary outputs:\n" ); - Vec_VecPrintInt( (Vec_Vec_t *)vClasses, 1 ); - } - -// printf( "The number of all checks %d. Complex checks %d.\n", nPos*(nPos-1)/2, s_Counter ); return pPart; } @@ -570,7 +564,12 @@ Aig_Man_t * Saig_ManIsoReduce( Aig_Man_t * pAig, Vec_Ptr_t ** pvPosEquivs, int f pPart = Iso_ManFilterPos( pAig, pvPosEquivs, fVerbose ); printf( "Reduced %d outputs to %d outputs. ", Saig_ManPoNum(pAig), Saig_ManPoNum(pPart) ); Abc_PrintTime( 1, "Time", clock() - clk ); -// Aig_ManStop( pPart ); + if ( fVerbose && *pvPosEquivs ) + { + printf( "Nontrivial classes:\n" ); + Vec_VecPrintInt( (Vec_Vec_t *)*pvPosEquivs, 1 ); + } +// Aig_ManStopP( &pPart ); return pPart; } -- cgit v1.2.3