Adding parameters and improvements to %blast.

1 files changed, 32 insertions, 0 deletions

diff --git a/src/base/wlc/wlcUif.c b/src/base/wlc/wlcUif.c
index 78451c17..3c7a08ac 100644
--- a/src/base/wlc/wlcUif.c
+++ b/src/base/wlc/wlcUif.c
@@ -32,6 +32,38 @@ ABC_NAMESPACE_IMPL_START
 
 /**Function*************************************************************
 
+  Synopsis    [Collect adds and mults.]
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+Vec_Int_t * Wlc_NtkCollectAddMult( Wlc_Ntk_t * p, Wlc_BstPar_t * pPar, int * pCountA, int * pCountM )
+{
+    Vec_Int_t * vBoxIds;
+    Wlc_Obj_t * pObj;  int i;
+    *pCountA = *pCountM = 0;
+    if ( pPar->nAdderLimit == 0 && pPar->nMultLimit == 0 )
+        return NULL;
+    vBoxIds = Vec_IntAlloc( 100 );
+    Wlc_NtkForEachObj( p, pObj, i )
+    {
+        if ( pObj->Type == WLC_OBJ_ARI_ADD && pPar->nAdderLimit && Wlc_ObjRange(pObj) >= pPar->nAdderLimit )
+            Vec_IntPush( vBoxIds, i ), (*pCountA)++;
+        else if ( pObj->Type == WLC_OBJ_ARI_MULTI && pPar->nMultLimit && Wlc_ObjRange(pObj) >= pPar->nMultLimit )
+            Vec_IntPush( vBoxIds, i ), (*pCountM)++;
+    }
+    if ( Vec_IntSize( vBoxIds ) > 0 )
+        return vBoxIds;
+    Vec_IntFree( vBoxIds );
+    return NULL;
+}
+
+/**Function*************************************************************
+
   Synopsis    [Check if two objects have the same input/output signatures.]
 
   Description []