| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
| H A D | abcFanio.c | 183 if ( (iFanin = Vec_IntFind( &pObj->vFanins, pFaninOld->Id )) == -1 ) in Abc_ObjPatchFanin()
256 if ( (iFanoutIndex = Vec_IntFind( &pNodeIn->vFanouts, pNodeOut->Id )) == -1 ) in Abc_ObjInsertBetween()
263 if ( (iFaninIndex = Vec_IntFind( &pNodeOut->vFanins, pNodeIn->Id )) == -1 ) in Abc_ObjInsertBetween()
|
| H A D | abcCheck.c | 442 if ( Vec_IntFind( &pFanin->vFanouts, pObj->Id ) == -1 ) in Abc_NtkCheckObj()
452 if ( Vec_IntFind( &pFanout->vFanins, pObj->Id ) == -1 ) in Abc_NtkCheckObj()
|
| H A D | abcAig.c | 901 iFanin = Vec_IntFind( &pFanout->vFanins, pOld->Id ); in Abc_AigReplace_int()
1230 iFanin = Vec_IntFind( &pFanout->vFanins, pNode->Id ); in Abc_AigNodeHasComplFanoutEdge()
1259 iFanin = Vec_IntFind( &pFanout->vFanins, pNode->Id ); in Abc_AigNodeHasComplFanoutEdgeTrav()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fxch/ |
| H A D | Fxch.c | 48 int iTranslation = Vec_IntFind( pFxchMan->vTranslation, Id ); in Fxch_CubesGruping()
69 int iTranslation = Vec_IntFind( pFxchMan->vTranslation, Id ); in Fxch_CubesGruping()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/live/ |
| H A D | monotone.c | 275 if( vKnownMonotoneLocal != NULL && Vec_IntFind( vKnownMonotoneLocal, iElem ) != -1 ) in createMonotoneTester()
281 poSerialNum = Vec_IntFind( vHintMonotoneLocal, iElem ); in createMonotoneTester()
406 if( Vec_IntFind( vKnownMonotone, iElem ) == -1 ) in findRemainingMonotoneCandidates()
|
| H A D | disjunctiveMonotone.c | 356 if( Vec_IntFind( anteConse->attrAntecedents, iElem ) == -1 ) in updateAnteConseVectors()
371 if( Vec_IntFind( B, iElem ) == -1 ) in vectorDifference()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyCut.c | 65 Cost = FaninLeaf && (Vec_IntFind(vInside, FaninLeaf) == -1); in Ivy_NodeGetLeafCostOne()
72 Cost += FaninLeaf && (Vec_IntFind(vInside, FaninLeaf) == -1); in Ivy_NodeGetLeafCostOne()
147 if ( Next && Vec_IntFind(vInside, Next) == -1 ) in Ivy_ManSeqFindCut_int()
161 if ( Next && Vec_IntFind(vInside, Next) == -1 ) in Ivy_ManSeqFindCut_int()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaRex.c | 60 pObj->fMark0 = (int)(Vec_IntFind(vAlpha, pSim[i]) == k); in Gia_ManAutomSimulate()
129 if ( Vec_IntFind(vAlphas, pStr[i]) == -1 ) in Gia_ManRexNumInputs()
271 iInputLit = Gia_Obj2Lit(pNew, Gia_ManPi(pNew, Vec_IntFind(vAlphas, pStr[i]))); in Gia_ManRex2Gia()
|
| H A D | giaShrink7.c | 276 k = Vec_IntFind( p->vLeaves, FanK ); in Unm_ManCollectDecomp()
277 j = Vec_IntFind( p->vLeaves, FanJ ); in Unm_ManCollectDecomp()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
| H A D | acec2Mult.c | 803 if ( Vec_IntFind(vCut, pCut[k]) == -1 ) in Sdb_StoDiffExactlyOne()
815 if ( Vec_IntFind(vCut, pCut[k]) >= 0 ) in Sdb_StoDiffExactlyOne()
838 if ( Vec_IntFind(vCut, pCut[k]) >= 0 ) in Sdb_StoDiffExactlyOne3()
870 if ( Vec_IntFind(vAll, pCut[k]) >= 0 ) in Sdb_StoDiffExactlyOne2()
911 Min = Vec_IntFind( vCounts, MinValue ); in Sdb_StoFindInputs()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
| H A D | sfmNtk.c | 279 assert( Vec_IntFind( Sfm_ObjFiArray(p, iNode), iFanin ) == -1 ); in Sfm_NtkAddFanin()
280 assert( Vec_IntFind( Sfm_ObjFoArray(p, iFanin), iNode ) == -1 ); in Sfm_NtkAddFanin()
|
| H A D | sfmSat.c | 208 iVar = Vec_IntFind( p->vDivIds, Abc_Lit2Var(pFinal[i]) ); assert( iVar >= 0 ); in Sfm_ComputeInterpolant()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
| H A D | pdrClass.c | 164 if ( Vec_IntFind( vMarks, iClass ) >= 0 ) in Pdr_ManPrintMap()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
| H A D | dauNpn2.c | 948 pFun->FI1 = Vec_IntFind( vLibFun, Fanin1Npn ); in Dtt_DumpLibrary()
949 pFun->FI2 = Vec_IntFind( vLibFun, Fanin2Npn ); in Dtt_DumpLibrary()
952 …Vec_VecForEachEntryLevel( Dtt_FunImpl_t*, vLibImpl, pFun2, j, Vec_IntFind( vLibFun, Vec_IntEntry( … in Dtt_DumpLibrary()
970 Vec_VecPush( vLibImpl, Vec_IntFind( vLibFun, Vec_IntEntry( p->vTruthNpns, i ) ), pFun ); in Dtt_DumpLibrary()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/ |
| H A D | sbdCut2.c | 183 iPlace0 = Vec_IntFind( vCut, Fan0 ); in Sbd_ManCutExpandOne()
184 iPlace1 = Vec_IntFind( vCut, Fan1 ); in Sbd_ManCutExpandOne()
|
| H A D | sbdWin.c | 221 iVar = Vec_IntFind( vDivSet, Abc_Lit2Var(pFinal[i]) ); assert( iVar >= 0 ); in Sbd_ManSolve()
310 iVar = Vec_IntFind( vDivVars, Abc_Lit2Var(pFinal[i]) ); assert( iVar >= 0 ); in Sbd_ManSolve2()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
| H A D | wlcGraft.c | 473 int iLitOutP = Vec_IntFind( vGiaLits, iLitGia ); in Sbc_ManWlcNodes2()
474 int iLitOutN = Vec_IntFind( vGiaLits, Abc_LitNot(iLitGia) ); in Sbc_ManWlcNodes2()
|
| H A D | wlcMem.c | 225 else if ( Vec_IntFind(vMemSizes, Wlc_ObjRange(pObj)) >= 0 ) in Wlc_NtkCollectMemory()
426 Index[0] = Vec_IntFind( vNodeFrames, Vec_IntEntry(vTrace, 0) ); in Wlc_NtkAbsCreateLogic()
427 Index[1] = Vec_IntFind( vNodeFrames, Vec_IntEntryLast(vTrace) ); in Wlc_NtkAbsCreateLogic()
462 Index[0] = Vec_IntFind( vNodeFrames, Entry ); in Wlc_NtkAbsCreateLogic()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
| H A D | absRefSelect.c | 52 else if ( Vec_IntFind(vNewPPis, Gia_ObjId(p->pGia, pObj)) >= 0 )// this is PPI in Rnm_ManPrintSelected()
|
| H A D | absRef.c | 133 Entry = Vec_IntFind( p->vMap, Entry );
186 if ( Vec_IntFind( vPPIs, Gia_ObjId(p->pGia, pObj) ) == -1 )
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcBm.c | 1379 …if( Vec_IntFind( oMatchedGroups, oGroup1[Vec_IntEntry(iDep1[Vec_IntEntryLast(iMatch1[i])], j)]) !=… in match1by1()
1483 if(Vec_IntFind( matchedInputs1, m ) == -1) in match1by1()
1486 if(Vec_IntFind( matchedInputs2, m ) == -1) in match1by1()
1500 suppNum1 += Vec_IntFind( matchedOutputs1, m) + 1; in match1by1()
1513 …suppNum2[Abc_ObjId((Abc_Obj_t *)vSupp->pArray[n])-1] += Vec_IntFind( matchedOutputs2, m) + 1; … in match1by1()
1699 if( Vec_IntSize(oMatch1[i]) > 1 && Vec_IntFind( oMatchedGroups, i) == -1 ) in refineBySAT()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
| H A D | acbMfs.c | 194 int PivotVar = Vec_IntFind(vWinObjs, Abc_Var2Lit(Pivot, 0)); in Acb_NtkWindow2Cnf()
397 iVar = Vec_IntFind( vDivVars, Abc_Lit2Var(iLit) ); assert( iVar >= 0 ); in Acb_ComputeFunction()
1284 printf( "%c", Vec_IntFind(vSupp, s) >= 0 ? 'a' + Vec_IntFind(vSupp, s) : ' ' ); in Acb_NtkOptNodeAnalyze()
1309 PivotVar = Vec_IntFind( vWin, Abc_Var2Lit(Pivot, 0) ); in Acb_NtkOptNode()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcEco.c | 178 iVar = Vec_IntFind( vVars, Abc_Lit2Var(pFinal[i]) ); assert( iVar >= 0 ); in Bmc_EcoSolve()
|
| H A D | bmcChain.c | 342 assert( Vec_IntFind(vOutputs, pCex->iPo) >= 0 ); in Bmc_ChainTest()
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/ |
| H A D | vecInt.h | 642 static inline int Vec_IntFind( Vec_Int_t * p, int Entry ) in Vec_IntFind() function
|