Home
last modified time | relevance | path

Searched refs:Vec_IntPushTwo (Results 1 – 25 of 51) sorted by relevance

123

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/pla/
H A DplaHash.c144 Vec_IntPushTwo( vEntries, pEnt->Cube, pEnt->VarA ); in Tab_ManHashCollect()
309 Vec_IntPushTwo( vPairs, iCube1, iVar1 ); in Pla_ManComputeDistance1Int()
310 Vec_IntPushTwo( vPairs, iCube2, iVar2 ); in Pla_ManComputeDistance1Int()
H A DplaSimple.c202 Vec_IntPushTwo( vStore, i, -1 ); in Pla_ManFxMinimize()
214 Vec_IntPushTwo( vStore, i, pDirs[0] ); in Pla_ManFxMinimize()
246 Vec_IntPushTwo( vStore, i, pDirs[v] ); in Pla_ManFxMinimize()
H A DplaFxch.c263 Vec_IntPushTwo( vArr, *pBeg1, *pBeg2 ), pBeg1++, pBeg2++; in Fxch_CollectSingles()
285 Vec_IntPushTwo( vRes, hCube1, hCube2 ); in Fxch_CollectDoubles()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A DacecFadds.c66 Vec_IntPushTwo( vHadds, i, Abc_Lit2Var(iLit) ), Count++; in Gia_ManDetectHalfAdders()
68 Vec_IntPushTwo( vHadds, i, Abc_Lit2Var(iLit) ), Count++; in Gia_ManDetectHalfAdders()
70 Vec_IntPushTwo( vHadds, i, Abc_Lit2Var(iLit) ), Count++; in Gia_ManDetectHalfAdders()
72 Vec_IntPushTwo( vHadds, i, Abc_Lit2Var(iLit) ), Count++; in Gia_ManDetectHalfAdders()
86 Vec_IntPushTwo( vHadds, i, Gia_ObjFaninId0(pObj, i) ), Count++; in Gia_ManDetectHalfAdders()
88 Vec_IntPushTwo( vHadds, i, Gia_ObjFaninId1(pObj, i) ), Count++; in Gia_ManDetectHalfAdders()
96 Vec_IntPushTwo( vHadds, i, Abc_Lit2Var(iLit) ), Count++; in Gia_ManDetectHalfAdders()
98 Vec_IntPushTwo( vHadds, i, Abc_Lit2Var(iLit) ), Count++; in Gia_ManDetectHalfAdders()
103 Vec_IntPushTwo( vHadds, i, Abc_Lit2Var(iLit) ), Count++; in Gia_ManDetectHalfAdders()
105 Vec_IntPushTwo( vHadds, i, Abc_Lit2Var(iLit) ), Count++; in Gia_ManDetectHalfAdders()
H A DacecPool.c202 … Vec_IntPushTwo( vResIns, Vec_IntEntry(vAdds, 6*iBox+k), Vec_IntEntry(vBoxRanks, iBox) ); in Acec_ManCollectInsOuts()
205 …Vec_IntPushTwo( vResOuts, Vec_IntEntry(vAdds, 6*iBox+k), Vec_IntEntry(vBoxRanks, iBox)-(int)(k==4)… in Acec_ManCollectInsOuts()
H A DacecRe.c366 Vec_IntPushTwo( Vec_WecEntry(vXorMap, Index), iObj, Truth ); in Ree_ManDeriveAdds()
368 Vec_IntPushTwo( Vec_WecEntry(vMajMap, Index), iObj, Truth ); in Ree_ManDeriveAdds()
H A DacecPolyn.c139 Vec_IntPushTwo( vPairs, iConst, iMono ); in Pln_ManPrintFinal()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A DioReadPlaMo.c421 Vec_IntPushTwo( vPairsNew, Entry, Entry2 ); in Mop_ManCompatiblePairs()
423 Vec_IntPushTwo( vPairsNew, Entry2, Entry ); in Mop_ManCompatiblePairs()
431 Vec_IntPushTwo( vPairsNew, Entry, Entry2 ); in Mop_ManCompatiblePairs()
440 Vec_IntPushTwo( vPairsNew, Entry, Entry2 ); in Mop_ManCompatiblePairs()
442 Vec_IntPushTwo( vPairsNew, Entry2, Entry ); in Mop_ManCompatiblePairs()
476 Vec_IntPushTwo( vPairs, c1, c2 ); in Mop_ManFindDist1Pairs()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/
H A DwlnRetime.c173 Vec_IntPushTwo( &p->vEdgeLinks, -1, -1 ); in Wln_RetAlloc()
185 Vec_IntPushTwo( &p->vEdgeLinks, 0, iFanin ); in Wln_RetAlloc()
468 Vec_IntPushTwo( &p->vEdgeLinks, iHead, iFlop ); in Wln_RetInsertOneFanin()
481 Vec_IntPushTwo( &p->vEdgeLinks, 0, iFlop ); in Wln_RetInsertOneFanout()
512 Vec_IntPushTwo( &p->vMoves, Delay, 0 ); in Wln_RetAddToMoves()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A Dgia.c124 Vec_IntPushTwo( &p->vFanoutN, 0, 0 ); in Slv_ManAppendObj()
136 Vec_IntPushTwo( &p->vFanins, iLit0, iLit1 ); in Slv_ManAppendObj()
H A DgiaSatEdge.c96 Vec_IntPushTwo( vEdges, iFanin, iLut ); in Seg_ManCountIntEdges()
424 Vec_IntPushTwo( vEdges2, iFanin, iObj ); in Seg_ManConvertResult()
H A DgiaEdge.c99 Vec_IntPushTwo( vArray, iFanin, iObj ); in Gia_ManEdgeToArray()
102 Vec_IntPushTwo( vArray, iFanin, iObj ); in Gia_ManEdgeToArray()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/
H A DsbdSim.c186 Vec_IntPushTwo( vPairs, 0, i ), nConsts++; in Sbd_GiaSimRoundBack()
191 Vec_IntPushTwo( vPairs, Vec_IntEntry(vReprs, Vec_IntEntry(vMap, i)), i ); in Sbd_GiaSimRoundBack()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/
H A DdauNpn2.c564 Vec_IntPushTwo( p->vFanins, FanI, FanJ ); in Dtt_ManAddFunction()
640 Vec_IntPushTwo( vUsed, Prev, Count ); in Dtt_PrintMulti1()
645 Vec_IntPushTwo( vUsed, Prev, Count ); in Dtt_PrintMulti1()
1013 Vec_IntPushTwo( p->vFanins, 0, 0 ); in Dtt_EnumerateLf()
1021 Vec_IntPushTwo( p->vFanins, 0, 0 ); in Dtt_EnumerateLf()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcDetect.c198 Vec_IntPushTwo( vPairs, -1, -1 ); in Io_ReadFins()
235 Vec_IntPushTwo( vPairs, Vec_IntEntry(vMap, iObj), Type ); in Io_ReadFins()
875 Vec_IntPushTwo( vNewClass, iFin, Index ); // index and first entry in Abc_NtkFinSimulateOne()
956 Vec_IntPushTwo( vArray, iFin, i ); in Abc_NtkFinLocalSetup()
957 Vec_IntPushTwo( vResArray, iFin, i ); in Abc_NtkFinLocalSetup()
1008 Vec_IntPushTwo( vNewClass, iFin, Index ); // index and first entry in Abc_NtkFinRefinement()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcReadSmt.c393 Vec_IntPushTwo( newFanins, 30, 0 ); in Smt_PrsCreateNode()
410 Vec_IntPushTwo( newFanins, range1-1, 31 ); in Smt_PrsCreateNode()
718 Vec_IntPushTwo( vFanins, iOper, iConst ); in Smt_PrsBuildNode()
745 Vec_IntPushTwo( vFanins, Value1, Value2 ); in Smt_PrsBuildNode()
1170 Vec_IntPushTwo( &p->vTempFans, iObjPrev, iConst ); in Smt_PrsBuild2_rec()
1186 Vec_IntPushTwo( &p->vTempFans, Num1, Num2 ); in Smt_PrsBuild2_rec()
H A DwlcMem.c77 Vec_IntPushTwo( vTemp, i, i ); in Wlc_NtkMemBlast_rec()
87 Vec_IntPushTwo( vTemp, i*DataW+DataW-1, i*DataW ); in Wlc_NtkMemBlast_rec()
96 Vec_IntPushTwo( vTemp, Wlc_ObjCopy(p, Wlc_ObjId(p, pData)), Vec_IntEntry(vFanins, i) ); in Wlc_NtkMemBlast_rec()
122 Vec_IntPushTwo( vTemp, i*DataW+DataW-1, i*DataW ); in Wlc_NtkMemBlast_rec()
1119 Vec_IntPushTwo( vCollect, Wlc_ObjId(p, pObj), nFrames ); in Wlc_NtkExploreMem2_rec()
1126 Vec_IntPushTwo( vCollect, Wlc_ObjId(p, pObj), nFrames ); in Wlc_NtkExploreMem2_rec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/
H A DbacOper.c160 … Vec_IntPushTwo( &p->vArray2, Bac_BoxFanin(p, iBox, 1+i), Bac_BoxFanin(p, iBox, 1+nBos+i) ); in Bac_ObjClpWide()
229 … Vec_IntPushTwo( &p->vArray2, Bac_BoxFanin(p, iBox, 1+i), Bac_BoxFanin(p, iBox, 1+nBits+i) ); in Bac_ObjClpArith()
H A DbacReadBlif.c164 Vec_IntPushTwo( &p->vTemp, 0, iToken ); in Psr_ManReadList2()
H A DbacPrs.h197 Vec_IntPushTwo( &p->vSlices, Name, Range ); in Psr_NtkAddSlice()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cmd/
H A DcmdAuto.c570 Vec_IntPushTwo( vLine, (int)*pThis, Abc_Float2Int((float)-1.0) ); in Cmd_ReadParamChoices()
581 Vec_IntPushTwo( vLine, (int)Param, Abc_Float2Int(atof(pThis)) ); in Cmd_ReadParamChoices()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/
H A DextraUtilPath.c124 Vec_IntPushTwo( vEdges, i*n+k, i*n+k+1 ); in Abc_GraphGrid()
127 Vec_IntPushTwo( vEdges, i*n+k, i*n+k+n ); in Abc_GraphGrid()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcBmcS.c213 Vec_IntPushTwo( vMap, Entry, Rank ); in Bmc_SuperBuildTents()
215 Vec_IntPushTwo( vMap, Entry, Rank ); in Bmc_SuperBuildTents()
442 Vec_IntPushTwo( &p->vCiMap, Gia_ObjCioId(pObj), f ); in Bmcs_ManUnfold_rec()
H A DbmcFx.c98 Vec_IntPushTwo( vDivs, pEnt->Func, pEnt->LitA ); in Tab_TabFindBest()
99 Vec_IntPushTwo( vDivs, pEnt->LitB, pEnt->LitC ); in Tab_TabFindBest()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cba/
H A DcbaReadVer.c659 Vec_IntPushTwo( vTemp, FormId, ActItem ); in Prs_ManReadSignalList2()
739 Vec_IntPushTwo( &p->vTemp3, 0, 0 ); // output will go here in Prs_ManReadAlways()
740 Vec_IntPushTwo( &p->vTemp3, 0, iToken ); in Prs_ManReadAlways()
768 Vec_IntPushTwo( &p->vTemp3, 0, iToken ); in Prs_ManReadAlways()

123