From d1e82047ffa4da33d00d6092a36bbdbb8f4da269 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 28 Apr 2012 05:08:07 +0700
Subject: Added supporting dual-output seq miters in &iso.

---
 src/aig/gia/giaIso.c | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src')

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 );
-- 
cgit v1.2.3