From 8bfe8d521066a2a607a1c631af1bf4155f8699c7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 13 Jul 2016 10:35:02 -0700
Subject: Adding a debug way to print cuts used in the CNF-generator.

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

(limited to 'src/aig')

diff --git a/src/aig/gia/giaMf.c b/src/aig/gia/giaMf.c
index 086da95b..591f5bc5 100644
--- a/src/aig/gia/giaMf.c
+++ b/src/aig/gia/giaMf.c
@@ -247,6 +247,14 @@ void Mf_ManProfileTruths( Mf_Man_t * p )
   SeeAlso     []
 
 ***********************************************************************/
+static inline void Mf_CutPrintOne( int * pCut )
+{
+    int i; 
+    printf( "%d {", Mf_CutSize(pCut) );
+    for ( i = 1; i <= Mf_CutSize(pCut); i++ )
+        printf( " %d", pCut[i] );
+    printf( " }\n" );
+}
 static inline int Mf_CubeLit( int Cube, int iVar ) { return (Cube >> (iVar << 1)) & 3; }
 static inline int Mf_ManCountLits( int * pCnf, int nCubes, int nVars )
 {
@@ -287,6 +295,7 @@ Vec_Int_t * Mf_ManDeriveCnfs( Mf_Man_t * p, int * pnVars, int * pnClas, int * pn
         if ( !Mf_ObjMapRefNum(p, i) )
             continue;
         pCut = Mf_ObjCutBest( p, i );
+        //Mf_CutPrintOne( pCut );
         iFunc = Abc_Lit2Var( Mf_CutFunc(pCut) );
         if ( Vec_IntEntry(vCnfs, iFunc) == -1 )
         {
-- 
cgit v1.2.3