From e2af27f160ce566ea5583a1619b7332a7be34c0a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 1 Nov 2013 17:09:05 -0400
Subject: Sweeper internal dumping.

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

(limited to 'src/aig/gia/giaSweeper.c')

diff --git a/src/aig/gia/giaSweeper.c b/src/aig/gia/giaSweeper.c
index 99d1154c..3ec38343 100644
--- a/src/aig/gia/giaSweeper.c
+++ b/src/aig/gia/giaSweeper.c
@@ -414,6 +414,38 @@ Gia_Man_t * Gia_SweeperExtractUserLogic( Gia_Man_t * p, Vec_Int_t * vProbeIds, V
     return pNew;
 }
 
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+void Gia_SweeperLogicDump( Gia_Man_t * p, Vec_Int_t * vProbeIds, int fDumpConds, char * pFileName )
+{
+    Gia_Man_t * pGiaOuts;
+    pGiaOuts = Gia_SweeperExtractUserLogic( p, vProbeIds, NULL, NULL );
+    if ( fDumpConds )
+    {
+        Vec_Int_t * vProbeConds = Gia_SweeperCondVector( p );
+        Gia_Man_t * pGiaCond = Gia_SweeperExtractUserLogic( p, vProbeConds, NULL, NULL );
+        Gia_ManDupAppendShare( pGiaOuts, pGiaCond );
+        pGiaOuts->nConstrs = Gia_ManPoNum(pGiaCond);
+        Gia_ManHashStop( pGiaOuts );
+        Gia_ManStop( pGiaCond );
+    }
+    Gia_AigerWrite( pGiaOuts, pFileName, 0, 0 );
+    Gia_ManStop( pGiaOuts );
+    printf( "Dumped logic cones" );
+    if ( fDumpConds )
+        printf( " and conditions" );
+    printf( " into file \"%s\".\n", pFileName );
+}
+
 /**Function*************************************************************
 
   Synopsis    [Sweeper cleanup.]
-- 
cgit v1.2.3