From 151fe402420e2be2c1a0c2ddcd817920346ef766 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 20 Aug 2011 20:38:44 +0700
Subject: Experiments with SPFD-based decomposition.

---
 src/aig/bdc/bdcSpfd.c | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'src/aig/bdc')

diff --git a/src/aig/bdc/bdcSpfd.c b/src/aig/bdc/bdcSpfd.c
index 25790983..e3f6f2d9 100644
--- a/src/aig/bdc/bdcSpfd.c
+++ b/src/aig/bdc/bdcSpfd.c
@@ -78,6 +78,9 @@ static inline word Bdc_Cof6( word t, int iVar, int fCof1 )
         return (t &~Truths[iVar]) | ((t &~Truths[iVar]) << (1<<iVar));
 }
 
+
+extern void Abc_Show6VarFunc( word F0, word F1 );
+
 ////////////////////////////////////////////////////////////////////////
 ///                     FUNCTION DEFINITIONS                         ///
 ////////////////////////////////////////////////////////////////////////
@@ -778,7 +781,6 @@ word Bdc_SpfdFindBest( Vec_Wrd_t * vDivs, Vec_Int_t * vWeights, word F0, word F1
 ***********************************************************************/
 int Bdc_SpfdDecomposeTestOne( word t, Vec_Wrd_t * vDivs, Vec_Int_t * vWeights )
 {
-    extern void Abc_Show6VarFunc( word F0, word F1 );
     word F1 = t;
     word F0 = ~F1;
     word Func;
@@ -826,7 +828,8 @@ void Bdc_SpfdDecomposeTest()
     // vDivs = Bdc_SpfdDecomposeTest__( &vWeights );
     vDivs = Bdc_SpfdReadFiles( &vWeights );
 
-    Abc_Show6VarFunc( ~t, t );  
+//    Abc_Show6VarFunc( ~t, t );  
+
 /*
     for ( i = 0; i < 6; i++ )
     for ( j = 0; j < 6; j++ )
-- 
cgit v1.2.3