864 Vec_Int_t * Acb_DeriveWeights( Vec_Int_t * vDivs, Acb_Ntk_t * pNtkF )  in Acb_DeriveWeights()  argument
869         Vec_IntPush( vWeights, Vec_IntEntry(&pNtkF->vObjWeight, iDiv) );  in Acb_DeriveWeights()
1163 …pCnf, int iTar, int nTargets, int nCoDivs, Vec_Int_t * vDivs, Acb_Ntk_t * pNtkF, Vec_Int_t * vSupp…  in Acb_DerivePatchSupport()  argument
1282                     Vec_Int_t * vTemp, * vWeights = Acb_DeriveWeights( vDivs, pNtkF );  in Acb_DerivePatchSupport()
1356 …nf_Dat_t * pCnf, int nCiTars, int nCoDivs, Vec_Int_t * vDivs, Acb_Ntk_t * pNtkF, Vec_Int_t * vSupp…  in Acb_DerivePatchSupportS()  argument
2149 void Acb_PrintPatch( Acb_Ntk_t * pNtkF, Vec_Int_t * vDivs, Vec_Int_t * vUsed, abctime clk )  in Acb_PrintPatch()  argument
2155 …ntf( "%d=%s(w=%d) ", Vec_IntEntry(vUsed, i), Acb_ObjNameStr(pNtkF, iObj), Acb_ObjWeight(pNtkF, iOb…  in Acb_PrintPatch()
2156         Weight += Acb_ObjWeight(pNtkF, iObj);  in Acb_PrintPatch()
2482 int Acb_NtkEcoPerform( Acb_Ntk_t * pNtkF, Acb_Ntk_t * pNtkG, char * pFileName[4], int fCisOnly, int…  in Acb_NtkEcoPerform()  argument
2487     int nTargets = Vec_IntSize(&pNtkF->vTargets);  in Acb_NtkEcoPerform()
2493     Vec_Int_t * vRoots  = Acb_NtkFindRoots( pNtkF, &pNtkF->vTargets, &vBlock );  in Acb_NtkEcoPerform()
2494     Vec_Int_t * vSuppF  = Acb_NtkFindSupp( pNtkF, vRoots );  in Acb_NtkEcoPerform()
2497 …Vec_Int_t * vDivs   = fCisOnly ? Acb_NtkFindDivsCis( pNtkF, vSupp ) : Acb_NtkFindDivs( pNtkF, vSup…  in Acb_NtkEcoPerform()
2498     Vec_Int_t * vNodesF = Acb_NtkFindNodes( pNtkF, vRoots, vDivs );  in Acb_NtkEcoPerform()
2502     Gia_Man_t * pGiaF   = Acb_NtkToGia( pNtkF, vSupp, vNodesF, vRoots, vDivs, &pNtkF->vTargets );  in Acb_NtkEcoPerform()
2579 …vSupp = Acb_DerivePatchSupport( pCnf, i, nTargets, Vec_IntSize(vDivs), vDivs, pNtkF, vSuppOld, Tim…  in Acb_NtkEcoPerform()
2646     vInst   = Acb_GenerateInstance( pNtkF, vDivs, vUsed, &pNtkF->vTargets );  in Acb_NtkEcoPerform()
2647     vPatch  = Acb_GeneratePatch( pNtkF, vDivs, vUsed, vFuncs, vGias, &pNtkF->vTargets );  in Acb_NtkEcoPerform()
2651     Acb_PrintPatch( pNtkF, vDivs, vUsed, clk );  in Acb_NtkEcoPerform()
2725     Acb_Ntk_t * pNtkF = Acb_VerilogSimpleRead( pFileNames[0], pFileNames[2] );  in Acb_NtkRunEco()  local
2727     if ( !pNtkF || !pNtkG )  in Acb_NtkRunEco()
2735     assert( Acb_NtkCiNum(pNtkF) == Acb_NtkCiNum(pNtkG) );  in Acb_NtkRunEco()
2736     assert( Acb_NtkCoNum(pNtkF) == Acb_NtkCoNum(pNtkG) );  in Acb_NtkRunEco()
2740     if ( !Acb_NtkEcoPerform( pNtkF, pNtkG, pFileNames, 0, fCheck, fVerbose ) )  in Acb_NtkRunEco()
2743         if ( !Acb_NtkEcoPerform( pNtkF, pNtkG, pFileNames, 1, fCheck, fVerbose ) )  in Acb_NtkRunEco()
2747     Acb_ManFree( pNtkF->pDesign );  in Acb_NtkRunEco()