diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-19 15:05:59 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-19 15:05:59 -0800 |
| commit | e43ca9f850cc0b36fe3c97782f153d1ed27f0fa4 (patch) | |
| tree | 4c1ef803aaee62c13de3f99de3ea4623c303f31a /src/aig/saig | |
| parent | 2377ae60e99fd751021cbcac880b584d57c284a1 (diff) | |
| download | abc-e43ca9f850cc0b36fe3c97782f153d1ed27f0fa4.tar.gz abc-e43ca9f850cc0b36fe3c97782f153d1ed27f0fa4.tar.bz2 abc-e43ca9f850cc0b36fe3c97782f153d1ed27f0fa4.zip | |
Isomorphism checking code.
Diffstat (limited to 'src/aig/saig')
| -rw-r--r-- | src/aig/saig/saigIso.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 ); |