diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-28 05:08:07 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-28 05:08:07 +0700 |
| commit | d1e82047ffa4da33d00d6092a36bbdbb8f4da269 (patch) | |
| tree | b7d16fad0f2888e52218923255b8cc537a53c4ed | |
| parent | 78855cc952a099a4b1ceab93db16558b11f59f94 (diff) | |
| download | abc-d1e82047ffa4da33d00d6092a36bbdbb8f4da269.tar.gz abc-d1e82047ffa4da33d00d6092a36bbdbb8f4da269.tar.bz2 abc-d1e82047ffa4da33d00d6092a36bbdbb8f4da269.zip | |
Added supporting dual-output seq miters in &iso.
| -rw-r--r-- | src/aig/gia/giaIso.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/aig/gia/giaIso.c b/src/aig/gia/giaIso.c index 2d5fd102..3c3e26ff 100644 --- a/src/aig/gia/giaIso.c +++ b/src/aig/gia/giaIso.c @@ -1071,16 +1071,24 @@ Gia_Man_t * Gia_ManIsoReduce( Gia_Man_t * pInit, Vec_Ptr_t ** pvPosEquivs, int f Vec_Int_t * vRemain, * vLevel, * vLevel2; Vec_Str_t * vStr, * vStr2; int i, k, s, sStart, Entry, Counter, clk = clock(); + if ( pvPosEquivs ) + *pvPosEquivs = NULL; if ( fDualOut ) { assert( (Gia_ManPoNum(pInit) & 1) == 0 ); + if ( Gia_ManPoNum(pInit) == 2 ) + return Gia_ManDup(pInit); p = Gia_ManTransformMiter( pInit ); p = Gia_ManSeqStructSweep( pPart = p, 1, 1, 0 ); Gia_ManStop( pPart ); } else + { + if ( Gia_ManPoNum(pInit) == 1 ) + return Gia_ManDup(pInit); p = pInit; + } // create preliminary equivalences vEquivs = Gia_IsoDeriveEquivPos( p, 1, fVeryVerbose ); |