Version abc90118

2 files changed, 9 insertions, 0 deletions

diff --git a/src/opt/cut/cut.h b/src/opt/cut/cut.h
index dee05dfc..faa249f2 100644
--- a/src/opt/cut/cut.h
+++ b/src/opt/cut/cut.h
@@ -64,8 +64,10 @@ struct Cut_ParamsStruct_t_
     int                fGlobal;           // compute only global cuts
     int                fLocal;            // compute only local cuts
     int                fRecord;           // record the cut computation flow
+    int                fRecordAig;        // record the cut functions
     int                fFancy;            // perform fancy computations
     int                fMap;              // computes delay of FPGA mapping with cuts
+    int                fAdjust;           // removed useless fanouts of XORs/MUXes
     int                fVerbose;          // the verbosiness flag
 };
 
diff --git a/src/opt/cut/cutNode.c b/src/opt/cut/cutNode.c
index 2d17020b..633219fd 100644
--- a/src/opt/cut/cutNode.c
+++ b/src/opt/cut/cutNode.c
@@ -393,6 +393,13 @@ p->timeMerge += clock() - clk;
             Vec_IntPush( p->vCutPairs, ((pCut->Num1 << 16) | pCut->Num0) );
         Vec_IntWriteEntry( p->vNodeCuts, Node, Vec_IntSize(p->vCutPairs) - Vec_IntEntry(p->vNodeStarts, Node) );
     }
+    if ( p->pParams->fRecordAig )
+    {
+        extern void Aig_RManRecord( unsigned * pTruth, int nVarsInit );
+        Cut_ListForEachCut( pList, pCut )
+            if ( Cut_CutReadLeaveNum(pCut) > 4 )
+                Aig_RManRecord( Cut_CutReadTruth(pCut), Cut_CutReadLeaveNum(pCut) );
+    }
     // check if the node is over the list
     if ( p->nNodeCuts == p->pParams->nKeepMax )
         p->nCutsLimit++;