From e43ca9f850cc0b36fe3c97782f153d1ed27f0fa4 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 19 Feb 2012 15:05:59 -0800 Subject: Isomorphism checking code. --- src/aig/saig/saigIso.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/saig') diff --git a/src/aig/saig/saigIso.c b/src/aig/saig/saigIso.c index c3d1af9d..1cc11496 100644 --- a/src/aig/saig/saigIso.c +++ b/src/aig/saig/saigIso.c @@ -564,7 +564,7 @@ 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 ); - if ( fVerbose && *pvPosEquivs ) + if ( fVerbose && *pvPosEquivs && Saig_ManPoNum(pAig) != Vec_PtrSize(*pvPosEquivs) ) { printf( "Nontrivial classes:\n" ); Vec_VecPrintInt( (Vec_Vec_t *)*pvPosEquivs, 1 ); -- cgit v1.2.3