From 4da784c049b79b76d8c1b82297bd27f45ead9377 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 28 Mar 2007 08:01:00 -0700
Subject: Version abc70328

---
 src/map/if/if.h    | 1 +
 src/map/if/ifMap.c | 5 +++++
 2 files changed, 6 insertions(+)

(limited to 'src/map/if')

diff --git a/src/map/if/if.h b/src/map/if/if.h
index 759a9801..a440d7ea 100644
--- a/src/map/if/if.h
+++ b/src/map/if/if.h
@@ -101,6 +101,7 @@ struct If_Par_t_
     float *            pTimesArr;     // arrival times
     float *            pTimesReq;     // required times
     int (* pFuncCost)  (If_Cut_t *);  // procedure to compute the user's cost of a cut
+    int (* pFuncUser)  (If_Man_t *, If_Obj_t *, If_Cut_t *); //  procedure called for each cut when cut computation is finished
     void *             pReoMan;       // reordering manager
 };
 
diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c
index 7423bd05..e3f0dfda 100644
--- a/src/map/if/ifMap.c
+++ b/src/map/if/ifMap.c
@@ -149,6 +149,11 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep
     if ( Mode && pObj->nRefs > 0 )
         If_CutRef( p, If_ObjCutBest(pObj), IF_INFINITY );
 
+    // call the user specified function for each cut
+    if ( p->pPars->pFuncUser )
+        If_ObjForEachCut( pObj, pCut, i )
+            p->pPars->pFuncUser( p, pObj, pCut );
+
     // free the cuts
     If_ManDerefNodeCutSet( p, pObj );
 }
-- 
cgit v1.2.3