From 2ccd0f9b85cb42d3e6e894a71cd8e962b2d3bd12 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 26 Mar 2017 21:46:09 -0700
Subject: Experiments with don't-cares.

---
 src/base/abci/abc.c | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

(limited to 'src/base/abci/abc.c')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 537cdf5b..01bffece 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -5672,7 +5672,7 @@ usage:
 int Abc_CommandMfse( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
     extern Abc_Ntk_t * Abc_NtkOptMfse( Abc_Ntk_t * pNtk, Acb_Par_t * pPars );
-    Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
+    Abc_Ntk_t * pNtkNew, * pNtk = Abc_FrameReadNtk(pAbc);
     Acb_Par_t Pars, * pPars = &Pars; int c;
     Acb_ParSetDefault( pPars );
     Extra_UtilGetoptReset();
@@ -5771,6 +5771,19 @@ int Abc_CommandMfse( Abc_Frame_t * pAbc, int argc, char ** argv )
         Abc_Print( -1, "This command can only be applied to a logic network.\n" );
         return 1;
     }
+    pPars->nLutSize = Abc_NtkGetFaninMax( pNtk );
+    if ( pPars->nLutSize > 6 )
+    {
+        Abc_Print( -1, "Command is only applicable to LUT size no more than 6.\n" );
+        return 1;
+    }
+    pNtkNew = Abc_NtkOptMfse( pNtk, pPars );
+    if ( pNtkNew == NULL )
+    {
+        Abc_Print( -1, "Command \"mfse\" has failed.\n" );
+        return 1;
+    }
+    Abc_FrameReplaceCurrentNetwork( pAbc, pNtkNew );
     return 0;
 
 usage:
-- 
cgit v1.2.3