From fa5f05e3a2e0e866184d5597f442a3362ff2ab76 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 3 Oct 2014 17:15:43 -0700
Subject: Deriving AIG after cell mapping.

---
 src/map/if/ifTune.c | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'src/map/if/ifTune.c')

diff --git a/src/map/if/ifTune.c b/src/map/if/ifTune.c
index f75192b6..6e48448b 100644
--- a/src/map/if/ifTune.c
+++ b/src/map/if/ifTune.c
@@ -621,6 +621,15 @@ sat_solver * Ifn_ManSatBuild( Ifn_Ntk_t * p, Vec_Int_t ** pvPiVars, Vec_Int_t **
     Gia_ManStop( p2 );
     return pSat;
 }
+void * If_ManSatBuildFromCell( char * pStr, Vec_Int_t ** pvPiVars, Vec_Int_t ** pvPoVars, void ** ppNtk )
+{
+    Ifn_Ntk_t * p = Ifn_NtkParse( pStr );
+    *ppNtk = p;
+    if ( p == NULL )
+        return NULL;
+//    Ifn_NtkPrint( p );
+    return Ifn_ManSatBuild( p, pvPiVars, pvPoVars );
+}
 
 /**Function*************************************************************
 
-- 
cgit v1.2.3